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. |
Other contributor: | Järvisalo, Matti Juhani |
Contributor organization: | Department of Computer Science Helsinki Institute for Information Technology Constraint Reasoning and Optimization research group / Matti Järvisalo The Finnish Center of Excellence in Computational Inference Research (COIN) |
Publisher: | University of Helsinki |
Date: | 2016 |
Language: | eng |
Number of pages: | 77 |
Belongs to series: | Department of Computer Science Series of Publications B |
ISBN: | 978-951-51-2345-9 |
ISSN: | 1458-4786 |
URI: | http://hdl.handle.net/10138/164630 |
Subject: | 113 Computer and information sciences |
Peer reviewed: | Yes |
Rights: | unspecified |
Usage restriction: | openAccess |
Self-archived version: | publishedVersion |
Funder: | Unknown funder |
Grant number: |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
sc2016_proceedings.pdf | 1.618Mb |
View/ |