The Essentials of the SAT 2003 Competition

This publication has 7 references indexed in Scilit:

• An Extensible SAT-solver
  Published by Springer Nature ,2004
• Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions
  Published by Springer Nature ,2002
• Recovering and Exploiting Structural Knowledge from CNF Formulas
  Published by Springer Nature ,2002
• Evaluating general purpose automated theorem proving systems
  Artificial Intelligence, 2001
• SatEx: A Web-based Framework for SAT Experimentation
  Electronic Notes in Discrete Mathematics, 2001
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• SATO: An efficient propositional prover
  Lecture Notes in Computer Science, 1997