Follow
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
5731997
Look-ahead versus look-back for satisfiability problems
CM Li, A Anbulagan
Principles and Practice of Constraint Programming-CP97, 341-355, 1997
223*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
1012007
Old resolution meets modern SLS
A Anbulagan, DN Pham, J Slaney, A Sattar
Proceedings: the Twentieth National Conference on Artificial Intelligence …, 2005
46*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
252013
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
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
132007
An experience in knowledge management system implementation at Indonesian leading IT school
A Anbulagan, AU Kuswara
Retrieved September 10, 2005, 2001
132001
Resolution enhanced SLS solver: R+ AdaptNovelty+
A Anbulagan, DN Pham
Solver description, SAT competition 2007, 2007
12*2007
Resolution enhanced SLS solver: R+ AdaptNovelty+. solver description
DN Pham, A Anbulagan
SAT Competition, 2007
112007
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
92008
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
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
IWIL, LPAR-2006 presentation, 2006
62006
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, 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
52010
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
42006
The system can't perform the operation now. Try again later.
Articles 1–20