Balint , A , Belov , A , Heule , M J H & Järvisalo , M (eds) 2013 , Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2013-1 , vol. B-2013-1 , University of Helsinki , Helsinki . < http://hdl.handle.net/10138/40026 >
Title: | Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions |
Author: | University of Helsinki, Department of Computer Science; Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti; ; |
Editor: | Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti |
Contributor: | University of Helsinki, Department of Computer Science |
Publisher: | University of Helsinki |
Date: | 2013 |
Number of pages: | 128 |
Belongs to series: | Department of Computer Science Series of Publications B |
ISBN: | 978-952-10-8991-6 |
URI: | http://hdl.handle.net/10138/40026 |
Subject: | 113 Computer and information sciences |
Rights: |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
sc2013_proceedings.pdf | 2.742Mb |
View/ |