Anbulagan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
1997–2009
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICTAI | Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. | Anbulagan, John K. Slaney |
| 2008 | CP | Crossword Puzzles as a Constraint Problem. | Anbulagan, Adi Botea |
| 2008 | ECAI | Incremental Diagnosis of DES by Satisfiability. | Alban Grastien, Anbulagan |
| 2007 | AAAI | Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. | Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva |
| 2006 | CP | Adaptive Clause Weight Redistribution. | Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham |
| 2005 | AAAI | Old Resolution Meets Modern SLS. | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar |
| 2005 | CP | Lookahead Saturation with Restriction for SAT. | Anbulagan, John K. Slaney |
| 2004 | PRICAI | Extending Unit Propagation Look-Ahead of DPLL Procedure. | Anbulagan |
| 1997 | CP | Look-Ahead Versus Look-Back for Satisfiability Problems. | Chu Min Li, Anbulagan |
| 1997 | IJCAI | Heuristics Based on Unit Propagation for Satisfiability Problems. | Chu Min Li, Anbulagan |