MaxSAT Evaluation 2019 : Solver and Benchmark Descriptions

Show full item record



Permalink

http://hdl.handle.net/10138/306989

Citation

MaxSAT Evaluation 2019 : Solver and Benchmark Descriptions. / Bacchus, Fahiem (Editor); Järvisalo, Matti (Editor); Martins, Ruben (Editor). Helsinki : Department of Computer Science, University of Helsinki, 2019. 49 p. (Department of Computer Science Report Series B; Vol. B-2019-2).

Title: MaxSAT Evaluation 2019 : Solver and Benchmark Descriptions
Editor: Bacchus, Fahiem; Järvisalo, Matti; Martins, Ruben
Publisher: Department of Computer Science, University of Helsinki
Date: 2019
Belongs to series: Department of Computer Science Report Series B-2019-2
URI: http://hdl.handle.net/10138/306989


Files in this item

Total number of downloads: Loading...

Files Size Format View
mse19proc.pdf 1021.Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record