Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions

Show simple item record

dc.contributor.editor Heule, Marijn J. H.
dc.contributor.editor Järvisalo, Matti Juhani
dc.contributor.editor Suda, Martin
dc.date.accessioned 2018-07-11T06:52:01Z
dc.date.available 2018-07-11T06:52:01Z
dc.date.issued 2018
dc.identifier.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 .
dc.identifier.other PURE: 109112213
dc.identifier.other PURE UUID: 1793168c-5c3a-43a7-9a54-83049de59a75
dc.identifier.other ORCID: /0000-0003-2572-063X/work/48611622
dc.identifier.uri http://hdl.handle.net/10138/237063
dc.format.extent 77
dc.language.iso eng
dc.publisher Department of Computer Science, University of Helsinki
dc.relation.ispartofseries Department of Computer Science Series of Publications B
dc.rights cc_by_nc
dc.rights.uri info:eu-repo/semantics/openAccess
dc.subject 113 Computer and information sciences
dc.title Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions en
dc.type Anthology or special issue
dc.contributor.organization Helsinki Institute for Information Technology
dc.contributor.organization Constraint Reasoning and Optimization research group / Matti Järvisalo
dc.contributor.organization The Finnish Center of Excellence in Computational Inference Research (COIN)
dc.contributor.organization Department of Computer Science
dc.description.reviewstatus Non peer reviewed
dc.rights.accesslevel openAccess
dc.type.version publishedVersion
dc.relation.funder Unknown funder
dc.relation.grantnumber

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 simple item record