Max-SAT 2012

Seventh Max-SAT Evaluation

Welcome. Please log in or sign up.

Introduction

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

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. 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: Feb 7th, 2012.