Proceedings of SAT Challenge 2012
Show full item record
|
Title:
|
Proceedings of SAT Challenge 2012;
Solver and Benchmark Descriptions |
|
Author:
|
University of Helsinki, Helsinki Institute for Information Technology HIIT; Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten; ; |
|
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 . |
|
Belongs to series:
|
Department of Computer Science Series of Publications B |
|
Peer review status:
|
Non peer reviewed
|
|
URI:
|
http://hdl.handle.net/10138/34218
|
|
Date:
|
2012 |
Files in this item
This item appears in the following Collection(s)
Show full item record
