Max-SAT 2009

Fourth Max-SAT Evaluation

Introduction

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

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.