Max-SAT 2012 |
|
Seventh Max-SAT Evaluation |
Welcome. Please log in or sign up. | |
Introduction
|
RulesAs in the previous evaluations, we will focus the attention on complete solvers. We have also a Special Track on incomplete solvers. Solvers requiring a commercial software license will not be considered. There will be four categories:
Benchmark instances should be submitted in an extended DIMACS CNF format (see details), and submitted solvers should be able to read that format (see details). Benchmarks and solvers should be submitted in a tar.gz or zip file along with a short description in a file with name 'README'. Instances used in the evaluation will be selected among the instances submitted (the organization may decide to not to take some instances from some sets for the sake of uniformity), and will not be published in advance.
In the submission of solvers, you should send an executable, statically linked, version of your solver. |
Django Powered || Last modified: Feb 7th, 2012. |