Max-SAT 2014

Ninth Max-SAT Evaluation

Introduction

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

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

This year also, the Max-SAT Evaluation participates in the FLoC Olympic Games.