TY - JOUR
T1 - The SAT2002 competition
AU - Simon, Laurent
AU - Le Berre, Daniel
AU - Hirsch, Edward A.
PY - 2005/1
Y1 - 2005/1
N2 - 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.
AB - 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.
KW - Boolean satisfiability (SAT)
KW - empirical evaluation
UR - http://www.scopus.com/inward/record.url?scp=10344259154&partnerID=8YFLogxK
U2 - 10.1007/s10472-005-0424-6
DO - 10.1007/s10472-005-0424-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:10344259154
SN - 1012-2443
VL - 43
SP - 307
EP - 342
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
IS - 1-4
ER -