Max-SAT 2012 |
|
Seventh Max-SAT Evaluation |
| Welcome. | |
|
Introduction
|
IntroductionThe 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.
New in 2012The 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: Dec 15th, 2011. | |