Sciweavers

SAT
2004
Springer

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition

13 years 9 months ago
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition
Abstract. For the third consecutive year, a SAT competition was organized as a joint event with the SAT conference. With 55 solvers from 25 author groups, the competition was a clear success. One of the noticeable facts from the 2004 competition is the superiority of incomplete solvers on satisfiable random k-SAT benchmarks. It can also be pointed out
Daniel Le Berre, Laurent Simon
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAT
Authors Daniel Le Berre, Laurent Simon
Comments (0)