Anbulagan

15 papers A* 2A 5B 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study.
IEEE Trans. Autom. Control.
Alban Grastien, Anbulagan
2010 J jnl
Diagnostic de systèmes à événements discrets à base de cohérence par SAT.
Rev. d'Intelligence Artif.
Alban Grastien, Anbulagan
2009 — conf
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.
SARA
Anbulagan, Alban Grastien
2009 B conf
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness.
ICTAI
Anbulagan, John K. Slaney
2008 A conf
Crossword Puzzles as a Constraint Problem.
CP
Anbulagan, Adi Botea
2008 A conf
Incremental Diagnosis of DES by Satisfiability.
ECAI
Alban Grastien, Anbulagan
2007 A* conf
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
AAAI
Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
2007 — conf
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.
Australian Conference on Artificial Intelligence
Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose
2006 A conf
Adaptive Clause Weight Redistribution.
CP
Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
2005 A conf
Lookahead Saturation with Restriction for SAT.
CP
Anbulagan, John K. Slaney
2005 A* conf
Old Resolution Meets Modern SLS.
AAAI
Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
2004 B conf
Extending Unit Propagation Look-Ahead of DPLL Procedure.
PRICAI
Anbulagan
2003 — conf
Dynamic Variable Filtering for Hard Random 3-SAT Problems.
Australian Conference on Artificial Intelligence
Anbulagan, John Thornton, Abdul Sattar
1997 — conf
Heuristics Based on Unit Propagation for Satisfiability Problems.
IJCAI (1)
Chu Min Li, Anbulagan
1997 A conf
Look-Ahead Versus Look-Back for Satisfiability Problems.
CP
Chu Min Li, Anbulagan