The SAT2002 competition

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

Research output

22 Citations (Scopus)


SAT Competition 2002 held in March-May 2002 in conjunction with SAT 2002 (the Fifth International Symposium on the Theory and Applications of Satisfiability Testing). About 30 solvers and 2300 benchmarks took part in the competition, which required more than 2 CPU years to complete the evaluation. In this report, we give the results of the competition, try to interpret them, and give suggestions for future competitions.

Original languageEnglish
Pages (from-to)307-342
Number of pages36
JournalAnnals of Mathematics and Artificial Intelligence
Issue number1-4
Publication statusPublished - Jan 2005

Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Fingerprint Dive into the research topics of 'The SAT2002 competition'. Together they form a unique fingerprint.

  • Cite this