MaxSAT Evaluations

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

Related publications

• Josep Argelich, Chu Min Li, Felip Manya, Jordi Planes: Analyzing the Instances of the MaxSAT Evaluation. SAT 2011: 360-361
  PDF
• Josep Argelich, Chu Min Li, Felip Manya, Jordi Planes: Experimenting with the Instances of the MaxSAT Evaluation. CCIA 2011: 31-40
  PDF
• Josep Argelich, Chu-Min Li, Felip Manya, and Jordi Planes. The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation, Vol. 4 (2008), pages 251-278.
  PDF