Browsing by Author Anbulagan, Anbu
Showing results 1 to 12 of 12
Adaptive clause weight redistribution
Author(s) | Ishtaiwi, Abdelraouf; Thornton, John; Anbulagan, Anbu, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | September 25-29 2006 |
Analysing the Behaviour of Crossword Puzzles
Author(s) | Botea, Adi; Anbulagan, Anbu |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 8-10 2009 |
Boosting SLS performance by incorporating resolution-based preprocessor
Author(s) | Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | September 25 2006 |
Boosting SLS using resolution
Author(s) | Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al |
---|---|
Type | Book chapter |
Date Published | 2007 |
Date Created | - |
Consistency-based diagnosis of discrete-event systems by SAT [Diagnostic de systèmes à événements discrets à base de cohérence par SAT]
Author(s) | Grastien, Alban; Anbulagan, Anbu |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Crossword puzzles as a constraint problem
Author(s) | Anbulagan, Anbu; Botea, Adi |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | September 14-18 2008 |
Extending unit propagation look-ahead for DPLL procedure
Author(s) | Anbulagan, Anbu |
---|---|
Type | Conference paper |
Date Published | 2004 |
Date Created | August 9 2004 |
Lookahead saturation with restriction for SAT
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | October 1-5 2005 |
Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT
Author(s) | Leenen, Louise; Anbulagan, Anbu; Meyer, Thomas, et al |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | December 2-6 2007 |
Multiple preprocessing for systematic SAT solvers
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | November 12-17 2006 |
Resolution d'un probleme de diagnostic de systemes a evenements discrets par SAT
Author(s) | Grastien, Alban; Anbulagan, Anbu |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | June 4-6 2007 |
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | November 2-5 2009 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator