There have been hold the following MaxSAT Evaluations:
The current MaxSAT Evaluation is: MaxSAT Evaluation 2012
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