Previous MaxSAT Evaluations
MaxSAT Evaluation 2020 is the 15th edition in the series of MaxSAT solver evaluations. The webpages of the previous editions can be accessed via the following links.
- MaxSAT Evaluation 2019
- MaxSAT Evaluation 2018
- 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