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

Previous MaxSAT Evaluations

MaxSAT Evaluation 2017 is the 12th edition in the series of MaxSAT solver evaluations. The webpages of the previous editions can be accessed via the following links.