| Heuristics based on unit propagation for satisfiability problems CM Li, A Anbulagan Proceedings of the 15th international joint conference on Artifical …, 1997 | 570 | 1997 |
| Look-ahead versus look-back for satisfiability problems CM Li, A Anbulagan Principles and Practice of Constraint Programming-CP97, 341-355, 1997 | 224* | 1997 |
| Diagnosis of discrete-event systems using satisfiability algorithms A Grastien, A Anbulagan, J Rintanen, E Kelareva PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 305, 2007 | 102 | 2007 |
| Old resolution meets modern SLS A Anbulagan, DN Pham, J Slaney, A Sattar Proceedings: the Twentieth National Conference on Artificial Intelligence …, 2005 | 47 | 2005 |
| Diagnosis of discrete event systems using satisfiability algorithms: a theoretical and empirical study A Grastien, A Anbulagan IEEE Transactions on Automatic Control 58 (12), 3070-3083, 2013 | 26 | 2013 |
| Adaptive clause weight redistribution A Ishtaiwi, J Thornton, A Anbulagan, A Sattar, DN Pham Principles and Practice of Constraint Programming-CP 2006, 229-243, 2006 | 21 | 2006 |
| Resolution enhanced SLS solver: R+ AdaptNovelty+ A Anbulagan, DN Pham Solver description, SAT competition 2007, 2007 | 13* | 2007 |
| An experience in knowledge management system implementation at Indonesian leading IT school A Anbulagan, AU Kuswara Retrieved September 10, 2005, 2001 | 13 | 2001 |
| Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT L Leenen, A Anbulagan, T Meyer, A Ghose AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007 | 12 | 2007 |
| Resolution enhanced SLS solver: R+ AdaptNovelty+. solver description DN Pham, A Anbulagan SAT Competition, 2007 | 11 | 2007 |
| Incremental Diagnosis of DES by Satisfiability A Grastien, A Anbulagan Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on …, 2008 | 10 | 2008 |
| Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine A Grastien, A Anbulagan 20th International Workshop on Principles of Diagnosis, 345-352, 2009 | 9 | 2009 |
| Importance of Variables Semantic in CNF Encoding of Cardinality Constraints A Anbulagan, A Grastien Proceedings of The 8th Symposium on Abstraction, Reformulation and …, 2009 | 8* | 2009 |
| Diagnostic de systèmes à événements discrets à base de cohérence par SAT. A Grastien, A Anbulagan Rev. d'Intelligence Artif. 24 (6), 757-786, 2010 | 6 | 2010 |
| Modeling and solving diagnosis of discrete-event systems via satisfiability A Grastien, A Anbulagan, J Rintanen, E Kelareva Eighteenth International Workshop on Principles of Diagnosis–DX 7, 114-121, 2007 | 6 | 2007 |
| Lookahead saturation with restriction for SAT A Anbulagan, J Slaney International Conference on Principles and Practice of Constraint …, 2005 | 6* | 2005 |
| Multiple Preprocessing for Systematic SAT Solvers A Anbulagan, J Slaney 6th International Workshop on the Implementation of Logics (IWIL-2016), 100, 0 | 6* | |
| Crossword Puzzles as a Constraint Problem A Anbulagan, A Botea Proceedings of the 14th international conference on Principles and Practice …, 2008 | 5 | 2008 |
| Boosting SLS performance by incorporating resolution-based preprocessor A Anbulagan, DN Pham, J Slaney, A Sattar Proceedings of Third International Workshop on Local Search Techniques in …, 2006 | 4 | 2006 |
| Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT A Grastien, A Anbulagan Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), 2007 | 3 | 2007 |
Alban GrastienResearch Fellow at HMI, ANU在 anu.edu.au 的电子邮件经过验证
