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 2013-06-19T09:44:43Z 2013-06-19T09:44:43Z 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.isbn 978-952-10-8991-6
dc.identifier.other PURE: 27982689
dc.identifier.other PURE UUID: 4b9e6c68-ce15-4856-8a51-fcbbf9d445a7
dc.identifier.other ORCID: /0000-0003-2572-063X/work/29813580
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.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 Anthology or special issue
dc.description.version Non Peer reviewed
dc.type.uri info:eu-repo/semantics/other

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