Title: | Proceedings of SAT Competition 2017 : Solver and Benchmark Descriptions |
Other contributor: |
Balyo, Tomáš
Heule, Marijn J.H. Järvisalo, Matti |
Publisher: | University of Helsinki, Department of Computer Science |
Date: | 2017-09 |
Language: | en |
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 |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
sc2017-proceedings.pdf | 1.320Mb |
View/ |