Dr Anbu Anbulagan
Title
Cited by
Cited by
Year
Heuristics based on unit propagation for satisfiability problems
CM Li, A Anbulagan
Proceedings of the 15th international joint conference on Artifical …, 1997
5421997
Look-ahead versus look-back for satisfiability problems
CM Li, A Anbulagan
Principles and Practice of Constraint Programming-CP97, 341-355, 1997
1941997
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
962007
Old resolution meets modern SLS
A Anbulagan, DN Pham, J Slaney, A Sattar
Proceedings: the Twentieth National Conference on Artificial Intelligence …, 2005
372005
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
182013
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
182006
Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT
L Leenen, A Anbulagan, T Meyer, A Ghose
Australasian Joint Conference on Artificial Intelligence, 202-212, 2007
122007
An experience in knowledge management system implementation at Indonesian leading IT school
A Anbulagan, AU Kuswara
Retrieved September 10, 2005, 2001
122001
Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine
A Grastien, A Anbulagan
20th International Workshop on Principles of Diagnosis, 345-352, 2009
92009
Incremental Diagnosis of DES by Satisfiability
A Grastien, A Anbulagan
Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on …, 2008
82008
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints
A Anbulagan, A Grastien
Proceedings of The 8th Symposium on Abstraction, Reformulation and …, 2009
7*2009
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
62007
Multiple Preprocessing for Systematic SAT Solvers
A Anbulagan, J Slaney
6th International Workshop on the Implementation of Logics, 100, 0
6*
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
42010
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
42006
Lookahead saturation with restriction for SAT
A Anbulagan, J Slaney
International Conference on Principles and Practice of Constraint …, 2005
4*2005
Crossword Puzzles as a Constraint Problem
A Anbulagan, A Botea
Proceedings of the 14th international conference on Principles and Practice …, 2008
3*2008
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
32007
Extending unit propagation look-ahead for DPLL procedure
A Anbulagan
PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim …, 2004
22004
Importance de la sémantique dans le codage CNF de contraintes de cardinalité: application au diagnostic de SED
A Anbulagan, A Grastien
JFPC 2008-Quatrièmes Journées Francophones de Programmation par Contraintes …, 2008
12008
The system can't perform the operation now. Try again later.
Articles 1–20