Max-SAT 2013

Eighth Max-SAT Evaluation

Introduction

The Eighth Evaluation of Max-SAT Solvers (Max-SAT-2013) is organized as an affiliated event of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT-2013).

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.

The evaluation allows the submission of incomplete solvers in a Special Track, with the same four categories than for complete solvers, but with a reduced number of instances. You may check the Special Track rules for more details.

New

The organizers thank the Université de Picardie Jules Verne and the Région Picardie in France for letting us use their computational resources.