Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (Editor), Matti Järvisalo (Editor), Martin Suda (Editor)

Research output: Book/Report › Anthology or special issue › Scientific

1 results

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project