The SAT2002 competition

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

31 اقتباسات (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
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - يناير 2005
منشور خارجيًانعم

بصمة

أدرس بدقة موضوعات البحث “The SAT2002 competition'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا