Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions

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
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)

Show full item record