Standard

The SAT2002 competition. / Simon, Laurent; Le Berre, Daniel; Hirsch, Edward A.

In: Annals of Mathematics and Artificial Intelligence, Vol. 43, No. 1-4, 01.2005, p. 307-342.

Research output: Contribution to journal › Article › peer-review

Harvard

Simon, L, Le Berre, D & Hirsch, EA 2005, 'The SAT2002 competition', Annals of Mathematics and Artificial Intelligence, vol. 43, no. 1-4, pp. 307-342. https://doi.org/10.1007/s10472-005-0424-6

APA

Simon, L., Le Berre, D., & Hirsch, E. A. (2005). The SAT2002 competition. Annals of Mathematics and Artificial Intelligence, 43(1-4), 307-342. https://doi.org/10.1007/s10472-005-0424-6

Vancouver

Simon L, Le Berre D, Hirsch EA. The SAT2002 competition. Annals of Mathematics and Artificial Intelligence. 2005 Jan;43(1-4):307-342. https://doi.org/10.1007/s10472-005-0424-6

Author

Simon, Laurent ; Le Berre, Daniel ; Hirsch, Edward A. / The SAT2002 competition. In: Annals of Mathematics and Artificial Intelligence. 2005 ; Vol. 43, No. 1-4. pp. 307-342.

BibTeX

@article{376da0431953416680b9298f2ce3378a,
title = "The SAT2002 competition",
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 report, we give the results of the competition, try to interpret them, and give suggestions for future competitions.",
keywords = "Boolean satisfiability (SAT), empirical evaluation",
author = "Laurent Simon and {Le Berre}, Daniel and Hirsch, {Edward A.}",
year = "2005",
month = jan,
doi = "10.1007/s10472-005-0424-6",
language = "English",
volume = "43",
pages = "307--342",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Nature",
number = "1-4",

}

RIS

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 - Article

AN - SCOPUS:10344259154

VL - 43

SP - 307

EP - 342

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 1-4

ER -

ID: 49828396