Anbu Anbulagan

Anbu Anbulagan

Australian National University - Canberra / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 114097
person_outline Anbu Anbulagan's MOST POPULAR ARTICLES
1-) Heuristics based on unit propagation for satisfiability problemsCM Li, A AnbulaganProceedings of the 15th international joint conference on Artifical …, 19975661997
2-) Look-ahead versus look-back for satisfiability problemsCM Li, A AnbulaganPrinciples and Practice of Constraint Programming-CP97, 341-355, 1997223*1997
3-) Diagnosis of discrete-event systems using satisfiability algorithmsA Grastien, A Anbulagan, J Rintanen, E KelarevaPROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 305, 20071012007
4-) Old resolution meets modern SLSA Anbulagan, DN Pham, J Slaney, A SattarProceedings: the Twentieth National Conference on Artificial Intelligence …, 2005472005
5-) Diagnosis of discrete event systems using satisfiability algorithms: a theoretical and empirical studyA Grastien, A AnbulaganIEEE Transactions on Automatic Control 58 (12), 3070-3083, 2013262013