Balint , A , Belov , A , Diepold , D , Gerber , S , Järvisalo , M & Sinz , C (eds) 2012 , Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2012-2 , vol. B-2012-2 , University of Helsinki , Helsinki . < https://helda.helsinki.fi/handle/10138/34218 >
Title: | Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions |
Author: | University of Helsinki, Helsinki Institute for Information Technology; Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten; ; |
Editor: | Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten |
Contributor: | University of Helsinki, Helsinki Institute for Information Technology |
Publisher: | University of Helsinki |
Date: | 2012 |
Number of pages: | 92 |
Belongs to series: | Department of Computer Science Series of Publications B |
ISBN: | 978-952-10-8106-4 |
URI: | http://hdl.handle.net/10138/34218 |
Subject: | 113 Computer and information sciences |
Rights: |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
sc2012_proceedings.pdf | 1.767Mb |
View/ |