Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions
Permalink
Citation
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 |
| Other contributor: |
Balint, Adrian
Belov, Anton Diepold, Daniel Gerber, Simon Järvisalo, Matti Sinz, Carsten |
| Contributor organization: | Helsinki Institute for Information Technology Department of Computer Science |
| Publisher: | University of Helsinki |
| Date: | 2012 |
| Language: | eng |
| Number of pages: | 92 |
| Belongs to series: | Department of Computer Science Series of Publications B |
| ISBN: | 978-952-10-8106-4 |
| ISSN: | 1458-4786 |
| URI: | http://hdl.handle.net/10138/34218 |
| Subject: | 113 Computer and information sciences |
| Peer reviewed: | Yes |
| Usage restriction: | openAccess |
| Self-archived version: | publishedVersion |
| Funder: | Academy of Finland |
| Grant number: |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| sc2012_proceedings.pdf | 1.767Mb |
View/ |
This item appears in the following Collection(s)
-
Articles from TUHAT CRIS [52300]