Homepage of Anbulagan

Anbulagan Research Scientist
Managing Complexity Theme	Computer Sciences Laboratory at RSISE
NICTA Ltd.	College of Engineering and Computer Science (CECS)
Canberra Research Laboratory	The Australian National University (ANU), Canberra
email: anbulagan at nicta dot com dot au anbulagan at cecs dot anu dot edu dot au

SAT: Algorithms and Applications, Anbulagan and Jussi Rintanen. Vancouver, British Columbia, Canada. July 22, 2007.

Visiting Professor at IUT de Lens and CRIL-CNRS (UMR 8188), Université d'Artois, Lens, France, 15 May - 14 July 2008.
Visiting Professor at AI Lab, School of MCIS, University of Hyderabad, Hyderabad, India, 31 October - 12 November 2005.
Visiting Research Fellow, Griffith University, School of Information Technology, Gold Coast Campus, Australia, October 2002 - September 2003.

Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine , Alban Grastien and Anbulagan,

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints , Anbulagan and Alban Grastien,

Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED (in French), Anbulagan and Alban Grastien,

Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT ,

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms , Alban Grastien, Anbulagan, Jussi Rintanen and Elena Kelareva,

Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability , Alban Grastien, Anbulagan, Jussi Rintanen and Elena Kelareva,

Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT (in French), Alban Grastien and Anbulagan,

Boosting SLS Using Resolution , Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar,

Multiple Preprocessing for Systematic SAT Solvers , Anbulagan and John Slaney, IWIL-6, as part of LPAR-2006, Phnom Penh, Cambodia. (slides)

Boosting SLS Performance by Incorporating Resolution-based Preprocessor , Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar,

Adaptive Clause Weight Redistribution , Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar and Duc Nghia Pham, CP-2006, Nantes, France.

Lookahead Saturation with Restriction for SAT , Anbulagan and John Slaney, CP-2005, Sitges, Spain.

Old Resolution Meets Modern SLS , Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar, AAAI-2005, Pittsburgh, USA.

Extending Unit Propagation Look-Ahead of DPLL Procedure , Anbulagan, PRICAI-2004, Auckland, New Zealand.

Dynamic Variable Filtering for Hard Random 3-SAT Problems , Anbulagan, John Thornton, and Abdul Sattar, AI-2003, Perth, WA, Australia.

Look-Ahead Versus Look-Back for Satisfiability Problems , Chu Min Li and Anbulagan, CP-1997, Linz, Austria.

Heuristics Based on Unit Propagation for Satisfiability Problems , Chu Min Li and Anbulagan, IJCAI-1997, Nagoya, Japan.

Why a Random 3-SAT Problem is Harder Than Another , Chu Min Li and Anbulagan, JNPC-1997, Rennes, France.

R+AdaptNovelty+ SLS solver (co-authored with Duc Nghia Pham), won a GOLD medal for Random SAT category at 2005 International SAT Competition.

Dew_Satz systematic SAT solver, won 2 bronze medals for Random UNSAT and SAT+UNSAT categories at 2005 International SAT Competition.
It solves the challenging 32-bit parity learning problem.

R+PAWS and R+RSAPS SLS solvers (co-authored with Duc Nghia Pham), among the best five solvers

SAT Solving Techniques. (4 hour course)
Propositional Satisfiability Solving. (6 hour course)
Algorithms for Propositional Satisfiability Solving. (2 hour course)
Algorithms for Propositional Satisfiability Solving. (4 hour course)
Algorithms for Satisfiability Testing. (2 hour course)
SAT Solving, part of COMP4360/6463 Overview of Logic and Computation. (slides, 19 MB)

IWIL-6 (The Sixth International Workshop on the Implementation of Logics), part of LPAR-2006, Phnom Penh, Cambodia.
AI-2006 (The 19th Australian Joint Conference on Artificial Intelligence), Hobart, Tasmania, Australia.
PRICAI-2006 (Ninth Pacific Rim International Conference on Artificial Intelligence), Guilin, China.
STAIRS-2006 (Third Starting Artificial Intelligence Researchers Symposium), affiliated to ECAI 2006, Riva del Garda, Italy.
SymCon-2008 (Eight International Workshop on Symmetry and Constraint Satisfaction Problems), affiliated to CP 2008, Sydney, Australia.

Journals: Journal of Automated Reasoning (SAT 2005 special issue), JSAT (solvers at 2005 International SAT Competition)
Conferences: IJCAI-2005, JFPC-2005, LPAR-2005, SAT-2006, CP-2006, AAAI-2007, SAT-2007, CADE-2007,