Research Interests:

• Search in AI
• Automated Reasoning
• Constraint Satisfaction Problem (CSP)
• Diagnosis, planning, scheduling and timetabling
• SAT Algorithms: systematic, stochastic and hybrid
• SAT Encoding and Preprocessing

AAAI-2007 Tutorial

• slides (3.1 MB)
• slides 4 on 1 (2.7 MB)

Invited As:

• 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.

Publications: Conferences and Workshops

• Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine , Alban Grastien and Anbulagan,
DX-2009 (The 20th International Workshop on Principles of Diagnosis), Stockholm, Sweden.
• Importance of Variables Semantic in CNF Encoding of Cardinality Constraints , Anbulagan and Alban Grastien,
SARA-2009 (The Eighth Symposium on Abstraction, Reformulation and Approximation), Lake Arrowhead, CA, USA.
• Analysing the Behaviour of Crossword Puzzles , Adi Botea and Anbulagan,
SoCS-2009 (International Symposium on Combinatorial Search), Lake Arrowhead, CA, USA.
• Crossword Puzzles as a Constraint Problem , Anbulagan and Adi Botea,
CP-2008, Sydney, Australia.
• Incremental Diagnosis of DES by Satisfiability , Alban Grastien and Anbulagan,
ECAI-2008, Patras, Grece.
• Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED (in French), Anbulagan and Alban Grastien,
JFPC-2008 (Annual French Conference on Constraint Programming), EMN, Nantes, France.
• Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT ,
Louise Leenen, Anbulagan, Thomas Meyer and Aditya Ghose, AI-2007, Gold Coast, QLD, Australia.
• Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms , Alban Grastien, Anbulagan, Jussi Rintanen and Elena Kelareva,
AAAI-2007, Vancouver, BC, Canada.
• Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability , Alban Grastien, Anbulagan, Jussi Rintanen and Elena Kelareva,
DX-2007, Nashville, TN, USA.
• Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT (in French), Alban Grastien and Anbulagan,
JFPC-2007 (Annual French Conference on Constraint Programming), INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France.
• Boosting SLS Using Resolution , Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar,
in Frédéric Benhamou, Narendra Jussien and Barry O'Sullivan (Editors), Trends in Constraint Programming,
chapter 17, pp. 283-289, ISTE, May 2007, ISBN 9781905209972.
• Multiple Preprocessing for Systematic SAT Solvers , Anbulagan and John Slaney, IWIL-6, as part of LPAR-2006, Phnom Penh, Cambodia. (slides)
The paper also appears in CEUR Workshop Proceedings 212.
• Boosting SLS Performance by Incorporating Resolution-based Preprocessor , Anbulagan, Duc Nghia Pham, John Slaney and Abdul Sattar,
LSCS-2006, in conjunction with CP-2006, Nantes, France.
• 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.

Softwares:

• 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
at the first stage of 2005 International SAT Competition for satisfiable Random SAT category.

Projects:

• G12 - Constraint Programming Platform.
• SUPERCOM - Model-Based Supervision of Composite Systems.

Teaching:

• SAT Solving Techniques. (4 hour course)
As part of Logic and Computation Overview Course, for NICTA-endorsed PhD students, National ICT Australia Ltd., September 2004.
• Propositional Satisfiability Solving. (6 hour course)
School of MCIS, University of Hyderabad, Hyderabad, India, November 2005.
• Algorithms for Propositional Satisfiability Solving. (2 hour course)
As part of Automated Reasoning course, Logic Summer School, ANU, Canberra, Australia, December 2006.
• Algorithms for Propositional Satisfiability Solving. (4 hour course)
Decision Systems Lab, School of IT and Computer Science, University of Wollongong, Wollongong, Australia, January 2007.
• Algorithms for Satisfiability Testing. (2 hour course)
As part of Automated Reasoning course, Logic Summer School, ANU, Canberra, Australia, December 2007.
• SAT Solving, part of COMP4360/6463 Overview of Logic and Computation. (slides, 19 MB)
ANU, Canberra, Australia, Semester 1, 2008, 2009.

Program Committees:

• 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.

Review papers for:

• 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,
AAAI-2008, CATS-2008, CP-2008, IJCAR-2008, JFPC-2008, SAT-2008.