Dr Anbu Anbulagan
Dr Anbu Anbulagan
Research Scientist
Bestätigte E-Mail-Adresse bei anu.edu.au
Titel
Zitiert von
Zitiert von
Jahr
Heuristics based on unit propagation for satisfiability problems
CM Li, A Anbulagan
Proceedings of the 15th international joint conference on Artifical …, 1997
5361997
Look-ahead versus look-back for satisfiability problems
CM Li, A Anbulagan
Principles and Practice of Constraint Programming-CP97, 341-355, 1997
1871997
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
972007
Old resolution meets modern SLS
A Anbulagan, DN Pham, J Slaney, A Sattar
Proceedings: the Twentieth National Conference on Artificial Intelligence …, 2005
382005
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
162013
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
152006
An experience in knowledge management system implementation at Indonesian leading IT school
A Anbulagan, AU Kuswara
Retrieved September 10, 2005, 2001
122001
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
112007
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
10*2009
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
Revue d'intelligence artificielle 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
Anbulagan. Résolution d’un probleme de diagnostic de systemesa événements discrets par SAT
A Grastien
Proc. of Troisiemes Journées Francophones de Programmation par Contraintes …, 2007
32007
Crossword Puzzles as a Constraint Problem
A Anbulagan, A Botea
Proceedings of the 14th international conference on Principles and Practice …, 2008
2*2008
Extending unit propagation look-ahead for DPLL procedure
A Anbulagan
PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim …, 2004
22004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20