Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions. / Heule, Marijn J.H. (Editor); Järvisalo, Matti (Editor); Suda, Martin (Editor). Helsinki : Department of Computer Science, University of Helsinki, 2019. 61 p. (Department of Computer Science Report Series B; Vol. B-2019-1).
Title: | Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions |
Editor: | Heule, Marijn J.H.; Järvisalo, Matti; Suda, Martin |
Publisher: | Department of Computer Science, University of Helsinki |
Date: | 2019 |
Belongs to series: | Department of Computer Science Report Series B-2019-1 |
URI: | http://hdl.handle.net/10138/306988 |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
sr2019_proceedings.pdf | 1.402Mb |
View/ |