Anbu Anbulagan

Analysing the Behaviour of Crossword Puzzles

Adi Botea, Anbu Anbulagan, 2009 .

Multiple preprocessing for systematic SAT solvers

Anbu Anbulagan, John Slaney, J. Slaney, 2006 .

Boosting SLS performance by incorporating resolution-based preprocessor

Duc Nghia Pham, Abdul Sattar, Anbu Anbulagan, 2006 .

Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine

Alban Grastien, Anbu Anbulagan, 2009 .

Modeling and solving diagnosis of discrete-event systems via satisfiability

Jussi Rintanen, Alban Grastien, Anbu Anbulagan, 2007 .