Proceedings of SAT Competition 2016

Show full item record

Permalink

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

Citation

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

Title: Proceedings of SAT Competition 2016;
Solver and Benchmark Descriptions
Author: Balyo, Tomáš; Heule, Marijn J. H.
Editor: Järvisalo, Matti Juhani
Contributor: University of Helsinki, Department of Computer Science
Belongs to series: Department of Computer Science Series of Publications B
Peer review status: Peer reviewed
URI: http://hdl.handle.net/10138/164630
Date: 2016
Subject: 113 Computer and information sciences
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
sc2016_proceedings.pdf 1.618Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record