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.
Important Dates
Calls
Participation
Results
Further Information
Website template modified from a design by Arcsin