MaxSAT Evaluation 2018
Affiliated with SAT 2018 at the Federated Logic Conference 2018   ·   July 9-12   ·   Oxford, UK

Benchmark Sets

A compilation of all descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, will be made available after the results of the evaluation are made public.