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 .

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
Belongs to series:	Department of Computer Science Series of Publications B
ISBN:	978-952-10-8106-4
URI:	http://hdl.handle.net/10138/34218
Date:	2012
Subject:	113 Computer and information sciences
Rights:



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)

• Articles from TUHAT CRIS [18193]
  

Show full item record