Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions
Permalink
Citation
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 |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| sr2019_proceedings.pdf | 1.402Mb |
View/ |