Proceedings of SAT Competition 2020 : Solver and Benchmark Descriptions

Show full item record



Permalink

http://hdl.handle.net/10138/318450
Title: Proceedings of SAT Competition 2020 : Solver and Benchmark Descriptions
Editor: Balyo, Tomáš; Froleyks, Nils; Heule, Marijn J.H.; Iser, Markus; Järvisalo, Matti; Suda, Martin
Publisher: University of Helsinki, Department of Computer Science
Date: 2020
Belongs to series: Department of Computer Science Report Series B 2020-1
URI: http://hdl.handle.net/10138/318450


Files in this item

Total number of downloads: Loading...

Files Size Format View
sc2020_proceedings.pdf 2.178Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record