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

• Type: Conference
• Year: 2004
• Where: SAT
• Authors: Daniel Le Berre, Laurent Simon
• Keywords: Consecutive Year, Random K-SAT Benchmarks, SAT 2004, SAT Competition