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

Emmanuel Zarpas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Emmanuel Zarpas

Publication year - 2006

Publication title -

journal on satisfiability boolean modeling and computation

Language(s) - English

Resource type - Journals

eISSN - 1875-5011

pISSN - 1574-0617

DOI - 10.3233/sat190025

Subject(s) - solver , competition (biology) , a priori and a posteriori , problem solver , computer science , industrial engineering , econometrics , mathematical optimization , economics , engineering , mathematics , computational science , epistemology , philosophy , ecology , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research