Sciweavers

Share
JSAT
2006

Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks

9 years 4 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 also present details on solver performance per subsets of the benchmarks per contributor and on SAT versus UNSAT instances. Finally we give recommendations for next SAT competition.
Emmanuel Zarpas
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSAT
Authors Emmanuel Zarpas
Comments (0)
books