MaxSAT Evaluation 2017
Affiliated with SAT 2017   ·   August 28 - September 1   ·   Melbourne, Australia

Solver Descriptions

Descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, will be made available here after the evaluation results have been announced.