Proceedings of SAT Competition 2013

Show simple item record

dc.contributor University of Helsinki, Department of Computer Science en
dc.contributor.editor Balint, Adrian
dc.contributor.editor Belov, Anton
dc.contributor.editor Heule, Marijn J.H.
dc.contributor.editor Järvisalo, Matti
dc.date.accessioned 2013-06-19T09:44:43Z
dc.date.available 2013-06-19T09:44:43Z
dc.date.issued 2013
dc.identifier.citation Balint , A , Belov , A , Heule , M J H & Järvisalo , M (eds) 2013 , Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2013-1 , vol. B-2013-1 , University of Helsinki , Helsinki . en
dc.identifier.other PURE: 27982689
dc.identifier.other PURE UUID: 4b9e6c68-ce15-4856-8a51-fcbbf9d445a7
dc.identifier.uri http://hdl.handle.net/10138/40026
dc.format.extent 128
dc.language.iso eng
dc.publisher University of Helsinki
dc.relation.ispartofseries Department of Computer Science Series of Publications B
dc.relation.uri http://hdl.handle.net/10138/40026
dc.rights en
dc.subject 113 Computer and information sciences en
dc.title Proceedings of SAT Competition 2013 en
dc.title Solver and Benchmark Descriptions en
dc.type C2 Edited book, compilation, conference proceeding or special issue of journal
dc.type.uri info:eu-repo/semantics/book
dc.contributor.pbl
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
sc2013_proceedings.pdf 2.742Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record