MaxSAT Evaluation 2017 : Solver and Benchmark Descriptions

Show full item record



Permalink

http://hdl.handle.net/10138/228949
Title: MaxSAT Evaluation 2017 : Solver and Benchmark Descriptions
Other contributor: Ansotegui, Carlos
Bacchus, Fahiem
Järvisalo, Matti
Martins, Ruben
Publisher: Department of Computer Science, University of Helsinki
Date: 2017-11
Language: en
Belongs to series: Publication series B, Report B-2017-2
ISSN: 1458-4786
URI: http://hdl.handle.net/10138/228949


Files in this item

Total number of downloads: Loading...

Files Size Format View
mse17proc.pdf 1.732Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record