The SAT2002 competition |
| |
| Authors: | Laurent Simon Daniel Le Berre Edward A. Hirsch |
| |
| Affiliation: | (1) LRI, U.M.R. CNRS 8623, Université Paris-Sud, 91405 Orsay Cedex, France;(2) Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, 191023 St. Petersburg, Russia |
| |
| 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 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
