MaxSAT Evaluation 2018

Show simple item record

dc.contributor University of Helsinki, Helsinki Institute for Information Technology en
dc.contributor.editor Bacchus, Fahiem
dc.contributor.editor Järvisalo, Matti Juhani
dc.contributor.editor Martins, Ruben
dc.date.accessioned 2018-07-13T05:29:01Z
dc.date.available 2018-07-13T05:29:01Z
dc.date.issued 2018
dc.identifier.citation Bacchus , F , Järvisalo , M J & Martins , R (eds) 2018 , MaxSAT Evaluation 2018 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2018-2 , vol. B-2018-2 , Department of Computer Science, University of Helsinki , Helsinki . en
dc.identifier.other PURE: 109386480
dc.identifier.other PURE UUID: 72c02639-531c-4064-80e4-4f1ae95de213
dc.identifier.other ORCID: /0000-0003-2572-063X/work/48611626
dc.identifier.uri http://hdl.handle.net/10138/237139
dc.format.extent 47
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 en
dc.subject 113 Computer and information sciences en
dc.title MaxSAT Evaluation 2018 en
dc.title Solver and Benchmark Descriptions en
dc.type Anthology or special issue
dc.description.version Peer reviewed
dc.type.uri info:eu-repo/semantics/other
dc.type.uri info:eu-repo/semantics/publishedVersion
dc.contributor.pbl
dc.contributor.pbl
dc.contributor.pbl
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
mse18_proceedings.pdf 1.510Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record