The SAT2002 competition

Laurent Simon; Daniel Le Berre; Edward A. Hirsch

doi:10.1007/s10472-005-0424-6

The SAT2002 competition

Laurent Simon
, Daniel Le Berre
, Edward A. Hirsch

פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

33 ציטוטים ‏(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.

שפה מקורית	אנגלית
עמודים (מ-עד)	307-342
מספר עמודים	36
כתב עת	Annals of Mathematics and Artificial Intelligence
כרך	43
מספר גיליון	1-4
מזהי עצם דיגיטלי (DOIs)	https://doi.org/10.1007/s10472-005-0424-6
סטטוס פרסום	פורסם - ינו׳ 2005
פורסם באופן חיצוני	כן

גישה למסמך

10.1007/s10472-005-0424-6

קבצים וקישורים אחרים

Link to publication in Scopus

פורמט ציטוט ביבליוגרפי

@article{77fc2d50695a487ebd4dc5f02845a2cc,

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 = "אנגלית",

volume = "43",

pages = "307--342",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Netherlands",

number = "1-4",

}

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 - https://www.scopus.com/pages/publications/10344259154

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 -

The SAT2002 competition

תקציר

גישה למסמך

קבצים וקישורים אחרים

טביעת אצבע

פורמט ציטוט ביבליוגרפי