Max-SAT 2015 |
|
Tenth Max-SAT Evaluation |
Welcome. | |
Introduction
|
IntroductionThe Tenth Evaluation of Max-SAT Solvers (Max-SAT-2015) is organized as an affiliated event of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT-2015). 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, with the same three categories than for complete solvers, but with a reduced number of instances. You may check the Special Track rules for more details. |
Django Powered || Last modified: Apr. 16th, 2015. |