Anbulagan

3 publications

AAAI 2007 Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

AAAI 2005 Old Resolution Meets Modern SLS Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar

IJCAI 1997 Heuristics Based on Unit Propagation for Satisfiability Problems Chu Min Li, Anbulagan