111
click to vote
SAT
2004
Springer
15 years 8 months ago
2004
Springer
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...