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 |
|
|