Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions

Show full item record



Permalink

http://hdl.handle.net/10138/34218

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 PDF View/Open

This item appears in the following Collection(s)

Show full item record