MaxSAT Evaluation 2017 : Solver and Benchmark Descriptions

Show full item record



Permalink

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

Citation

Ansotegui , C , Bacchus , F , Järvisalo , M & Martins , R (eds) 2017 , MaxSAT Evaluation 2017 : Solver and Benchmark Descriptions . Series of Publications B , vol. B-2017-2 , vol. B-2017-2 , Department of Computer Science, University of Helsinki , Helsinki .

Title: MaxSAT Evaluation 2017 : Solver and Benchmark Descriptions
Author: University of Helsinki, Helsinki Institute for Information Technology; Ansotegui, Carlos; Bacchus, Fahiem; Järvisalo, Matti; Martins, Ruben; ; ; ;
Editor: Ansotegui, Carlos; Bacchus, Fahiem; Järvisalo, Matti; Martins, Ruben
Contributor: University of Helsinki, Helsinki Institute for Information Technology
Publisher: Department of Computer Science, University of Helsinki
Date: 2017
Language: eng
Number of pages: 41
Belongs to series: Series of Publications B
URI: http://hdl.handle.net/10138/233112
Subject: 113 Computer and information sciences
Rights:


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