Previous MaxSAT Evaluations

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

• MaxSAT Evaluation 2017
• MaxSAT Evaluation 2016
• MaxSAT Evaluation 2015
• MaxSAT Evaluation 2014
• MaxSAT Evaluation 2013
• MaxSAT Evaluation 2012
• MaxSAT Evaluation 2011
• MaxSAT Evaluation 2010
• MaxSAT Evaluation 2009
• MaxSAT Evaluation 2008
• MaxSAT Evaluation 2007
• MaxSAT Evaluation 2006