MaxSAT Evaluation 2018

Show full item record

Permalink

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

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 .

Title: MaxSAT Evaluation 2018;
Solver and Benchmark Descriptions
Author: University of Helsinki, Department of Computer Science; Bacchus, Fahiem; Järvisalo, Matti Juhani; Martins, Ruben; ; ; ;
Editor: Bacchus, Fahiem; Järvisalo, Matti Juhani; Martins, Ruben
Contributor: University of Helsinki, Department of Computer Science
Belongs to series: Department of Computer Science Series of Publications B
URI: http://hdl.handle.net/10138/237139
Date: 2018
Subject: 113 Computer and information sciences
Rights:


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 full item record