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

Benchmark Sets

The benchmark sets used in the evaluation will not be available before the evaluation, but will be made available here when the results are announced.