Sciweavers

SAT
2004
Springer
95views Hardware» more  SAT 2004»
14 years 4 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 cle...
Daniel Le Berre, Laurent Simon