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
المعرِّفات الرقمية للأشياء	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

ملخص

الوصول إلى المستند

الملفات والروابط الأخرى

بصمة

قم بذكر هذا