Max-SAT 2012 |
|
Seventh Max-SAT Evaluation |
Welcome. Please log in or sign up. | |
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. 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. |