Max-SAT 2008 |
|
Third Max-SAT Evaluation |
Introduction
|
IntroductionThe Third Evaluation of Max-SAT Solvers (Max-SAT-2008) is organized as an affiliated event of the Eleventh International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). 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. |
Last modified: August 4th, 2008. |