Max-SAT 2011

Sixth Max-SAT Evaluation

Welcome. Please log in or sign up.


The Sixth Evaluation of Max-SAT Solvers (Max-SAT-2011) is organized as an affiliated event of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT-2011).

The objective of the evaluation is assessing the state of the art in the field of Max-SAT solvers, as well as creating a collection of publicly available Max-SAT benchmark instances.

New in 2011

This year 2011, the evaluation will allow the submission of incomplete solvers in a Special Track. There will be the same four categories than for complete solvers, but with a reduced number of instances. Check the Special Track rules for more details.

Django Powered || Last modified: April 6th, 2011.