Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions

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, Helsinki Institute for Information Technology; 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, Helsinki Institute for Information Technology
Publisher: Department of Computer Science, University of Helsinki
Date: 2018
Number of pages: 77
Belongs to series: Department of Computer Science Series of Publications B
URI: http://hdl.handle.net/10138/237063
Subject: 113 Computer and information sciences
Rights:


Files in this item

Total number of downloads: Loading...

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

This item appears in the following Collection(s)

Show full item record