Proceedings of SAT Competition 2014

Show simple item record

dc.contributor.editor Belov, Anton
dc.contributor.editor Diepold, Daniel
dc.contributor.editor Heule, Marijn J.H.
dc.contributor.editor Järvisalo, Matti
dc.date.accessioned 2014-07-15T04:52:55Z
dc.date.available 2014-07-15T04:52:55Z
dc.date.issued 2014
dc.identifier.citation Belov , A , Diepold, D, Heule , M J H & Järvisalo , M (eds) 2014 , Proceedings of SAT Competition 2014 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2014-2 , vol. B-2014-2 , University of Helsinki , Helsinki .
dc.identifier.issn 1458-4786
dc.identifier.uri http://hdl.handle.net/10138/135571
dc.language.iso en en
dc.publisher University of Helsinki en
dc.relation.ispartofseries Department of Computer Science Series of Publications B en
dc.subject 113 Computer and information sciences
dc.title Proceedings of SAT Competition 2014 en
dc.title Solver and Benchmark Descriptions
dc.type C2 Edited book, compilation, conference proceeding or special issue of journal en
dc.type.dcmitype textfile
dc.type.uri info:eu-repo/semantics/book

Files in this item

Total number of downloads: Loading...

Files Size Format View
sc2014_proceedings.pdf 1.601Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record