|
Search the dblp DataBase
Anbulagan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
Old Resolution Meets Modern SLS. [Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:354-359 [Conf]
- Anbulagan, John Thornton, Abdul Sattar
Dynamic Variable Filtering for Hard Random 3-SAT Problems. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2003, pp:100-111 [Conf]
- Chu Min Li, Anbulagan
Look-Ahead Versus Look-Back for Satisfiability Problems. [Citation Graph (0, 0)][DBLP] CP, 1997, pp:341-355 [Conf]
- Anbulagan, John K. Slaney
Lookahead Saturation with Restriction for SAT. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:727-731 [Conf]
- Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
Adaptive Clause Weight Redistribution. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:229-243 [Conf]
- Chu Min Li, Anbulagan
Heuristics Based on Unit Propagation for Satisfiability Problems. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1997, pp:366-371 [Conf]
- Anbulagan
Extending Unit Propagation Look-Ahead of DPLL Procedure. [Citation Graph (0, 0)][DBLP] PRICAI, 2004, pp:173-182 [Conf]
- Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:305-310 [Conf]
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. [Citation Graph (, )][DBLP]
Crossword Puzzles as a Constraint Problem. [Citation Graph (, )][DBLP]
Incremental Diagnosis of DES by Satisfiability. [Citation Graph (, )][DBLP]
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. [Citation Graph (, )][DBLP]
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|