Max-SAT 2011 |
|
Sixth Max-SAT Evaluation |
Welcome. Please log in or sign up. | |
Introduction
|
IntroductionThe Sixth Evaluation of Max-SAT Solvers (Max-SAT-2011) is organized as an affiliated event of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT-2011). 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.
New in 2011This year 2011, the evaluation will allow 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: April 6th, 2011. |