Show full item record

Permalink

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

Citation

Balint , A , Belov , A , Heule , M J H & Järvisalo , M (eds) 2013 , Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2013-1 , vol. B-2013-1 , University of Helsinki , Helsinki . < http://hdl.handle.net/10138/40026 >

Title:	Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions
Author:	University of Helsinki, Department of Computer Science; Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti; ;
Editor:	Balint, Adrian; Belov, Anton; Heule, Marijn J.H.; Järvisalo, Matti
Contributor:	University of Helsinki, Department of Computer Science
Publisher:	University of Helsinki
Date:	2013
Number of pages:	128
Belongs to series:	Department of Computer Science Series of Publications B
ISBN:	978-952-10-8991-6
URI:	http://hdl.handle.net/10138/40026
Subject:	113 Computer and information sciences
Rights:



Files in this item

Total number of downloads: Loading...

Files	Size	Format	View
sc2013_proceedings.pdf	2.742Mb	PDF	View/Open

This item appears in the following Collection(s)

• Articles from TUHAT CRIS [32400]
  

Show full item record