Proceedings of SAT Competition 2016 : Solver and Benchmark Descriptions
Permalink
Citation
Balyo , T , Heule , M J H & Järvisalo , M J (ed.) 2016 , Proceedings of SAT Competition 2016 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2016-1 , University of Helsinki , Helsinki .
| Title: | Proceedings of SAT Competition 2016 : Solver and Benchmark Descriptions |
| Author: | Balyo, Tomáš; Heule, Marijn J. H. |
| Editor: | Järvisalo, Matti Juhani |
| Contributor: | University of Helsinki, Department of Computer Science |
| Publisher: | University of Helsinki |
| Date: | 2016 |
| Number of pages: | 77 |
| Belongs to series: | Department of Computer Science Series of Publications B |
| ISBN: | 978-951-51-2345-9 |
| URI: | http://hdl.handle.net/10138/164630 |
| Subject: | 113 Computer and information sciences |
| Rights: |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| sc2016_proceedings.pdf | 1.618Mb |
View/ |
This item appears in the following Collection(s)
-
Articles from TUHAT CRIS [26924]