Max-SAT 2010 |
|
Fifth Max-SAT Evaluation |
Welcome. Please log in or sign up. | |
Introduction
|
IntroductionThe Fifth Evaluation of Max-SAT Solvers (Max-SAT-2010) is organized as an affiliated event of the Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT-2010). 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. This year, the evaluation web page has been re-designed and developed with Django in order to improve its security and its maintainability. |
Django Powered || Last modified: July 14th, 2010. |