Anbulagan

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Orders Of Magnitude

Computational Efficiency

Theoretical And Empirical Study

Top Venues

IEEE Trans. Autom. Control.

Publications

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