Automated Benchmarking of Incremental SAT and QBF Solvers

Uwe Egly, Florian Lonsing, Johannes Oetsch. Automated Benchmarking of Incremental SAT and QBF Solvers. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Volume 9450 of Lecture Notes in Computer Science, pages 178-186, Springer, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: