Show full item record

Permalink

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

Citation

Heule , M J H , Järvisalo , M J & Suda , M (eds) 2018 , Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2018-1 , vol. B-2018-1 , Department of Computer Science, University of Helsinki , Helsinki .

Title:	Proceedings of SAT Competition 2018; Solver and Benchmark Descriptions
Author:	University of Helsinki, Department of Computer Science; Heule, Marijn J. H.; Järvisalo, Matti Juhani; Suda, Martin; ; ; ;
Editor:	Heule, Marijn J. H.; Järvisalo, Matti Juhani; Suda, Martin
Contributor:	University of Helsinki, Department of Computer Science
Belongs to series:	Department of Computer Science Series of Publications B
URI:	http://hdl.handle.net/10138/237063
Date:	2018
Subject:	113 Computer and information sciences
Rights:



Files in this item

Total number of downloads: 1952

Files	Size	Format	View
sc2018_proceedings.pdf	1.868Mb	PDF	View/Open

This item appears in the following Collection(s)

• Articles from TUHAT CRIS [15660]
  

Show full item record