| 2008 |
|---|
| 11 | EE | Anbulagan,
Adi Botea:
Crossword Puzzles as a Constraint Problem.
CP 2008: 550-554 |
| 10 | EE | Alban Grastien,
Anbulagan:
Incremental Diagnosis of DES by Satisfiability.
ECAI 2008: 787-788 |
| 2007 |
|---|
| 9 | | Alban Grastien,
Anbulagan,
Jussi Rintanen,
Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
AAAI 2007: 305-310 |
| 8 | EE | 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: 202-212 |
| 2006 |
|---|
| 7 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Anbulagan,
Abdul Sattar,
Duc Nghia Pham:
Adaptive Clause Weight Redistribution.
CP 2006: 229-243 |
| 2005 |
|---|
| 6 | | Anbulagan,
Duc Nghia Pham,
John K. Slaney,
Abdul Sattar:
Old Resolution Meets Modern SLS.
AAAI 2005: 354-359 |
| 5 | EE | Anbulagan,
John K. Slaney:
Lookahead Saturation with Restriction for SAT.
CP 2005: 727-731 |
| 2004 |
|---|
| 4 | EE | Anbulagan:
Extending Unit Propagation Look-Ahead of DPLL Procedure.
PRICAI 2004: 173-182 |
| 2003 |
|---|
| 3 | EE | Anbulagan,
John Thornton,
Abdul Sattar:
Dynamic Variable Filtering for Hard Random 3-SAT Problems.
Australian Conference on Artificial Intelligence 2003: 100-111 |
| 1997 |
|---|
| 2 | | Chu Min Li,
Anbulagan:
Look-Ahead Versus Look-Back for Satisfiability Problems.
CP 1997: 341-355 |
| 1 | | Chu Min Li,
Anbulagan:
Heuristics Based on Unit Propagation for Satisfiability Problems.
IJCAI (1) 1997: 366-371 |
