Yliopiston etusivulle Suomeksi På svenska In English Helsingin yliopisto

Proceedings of SAT Challenge 2012

Show full item record

Avaa tiedosto Vie RefWorksiin
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

Files Description Size Format View/Open
sc2012_proceedings.pdf 1.853Mb PDF View/Open
This item appears in the following Collection(s)

Show full item record

Search Helda


Advanced Search

Browse

My Account