Skip to main content
Article thumbnail
Location of Repository

The SAT2002 Competition

By Laurent Simon, Daniel Le Berre and Edward A. Hirsch

Abstract

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 repor

Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.6448
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.satlive.org/SATComp... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.