The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anbulagan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Chu Min Li, Anbulagan
    Look-Ahead Versus Look-Back for Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:341-355 [Conf]
  4. Anbulagan, John K. Slaney
    Lookahead Saturation with Restriction for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:727-731 [Conf]
  5. 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]
  6. Chu Min Li, Anbulagan
    Heuristics Based on Unit Propagation for Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:366-371 [Conf]
  7. Anbulagan
    Extending Unit Propagation Look-Ahead of DPLL Procedure. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:173-182 [Conf]
  8. 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]

  9. Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. [Citation Graph (, )][DBLP]


  10. Crossword Puzzles as a Constraint Problem. [Citation Graph (, )][DBLP]


  11. Incremental Diagnosis of DES by Satisfiability. [Citation Graph (, )][DBLP]


  12. Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. [Citation Graph (, )][DBLP]


  13. Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002