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

Results

Results from the evaluation will be made available here after the official announcement during the SAT 2017 conference.