A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints

This publication has 10 references indexed in Scilit:

• The Essentials of the SAT 2003 Competition
  Published by Springer Nature ,2004
• Theory and Applications of Satisfiability Testing
  Lecture Notes in Computer Science, 2004
• Efficient solution techniques for disjunctive temporal reasoning problems
  Artificial Intelligence, 2003
• Deciding Separation Formulas with SAT
  Published by Springer Nature ,2002
• A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
  Published by Springer Nature ,2002
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• SAT-Based Procedures for Temporal Reasoning
  Published by Springer Nature ,2000
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM
  Computational Intelligence, 1993
• Temporal constraint networks
  Artificial Intelligence, 1991