Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions
Permalink
| Title: | Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions |
| Editor: | Balyo, Tomáš; Heule, Marijn J. H.; Järvisalo, Matti |
| Publisher: | University of Helsinki, Department of Computer Science |
| Date: | 2017-09 |
| Belongs to series: | Publication series B, Report B-2017-1 |
| ISSN: | 1458-4786 |
| URI: | http://hdl.handle.net/10138/224324 |
| Subject: |
boolean satisfiability (SAT)
SAT solver benchmark |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| sc2017-proceedings.pdf | 1.320Mb |
View/ |