Sciweavers

JSAT
2006
93views more  JSAT 2006»
14 years 12 days ago
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We...
Emmanuel Zarpas