Show full item record

Permalink

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

Citation

Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions. / Heule, Marijn J.H. (Editor); Järvisalo, Matti (Editor); Suda, Martin (Editor). Helsinki : Department of Computer Science, University of Helsinki, 2019. 61 p. (Department of Computer Science Report Series B; Vol. B-2019-1).

Title:	Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions
Editor:	Heule, Marijn J.H.; Järvisalo, Matti; Suda, Martin
Publisher:	Department of Computer Science, University of Helsinki
Date:	2019
Language:	en
Belongs to series:	Department of Computer Science Report Series B-2019-1
URI:	http://hdl.handle.net/10138/306988



Files in this item

Total number of downloads: Loading...

Files	Size	Format	View
sr2019_proceedings.pdf	1.402Mb	PDF	View/Open

This item appears in the following Collection(s)

• Department of Computer Science - Series of publications [32]
  

Show full item record