Max-SAT 2008 |
|
Third Max-SAT Evaluation |
|
Introduction
|
The results of the Max-SAT Evaluation 2008 are available in the poster and in the presentation.
Number of submitted benchmarks by category
Number of submitted solvers by category
|
||||||||||||||||||||||||||||
| Last modified: August 4th, 2008. | |||||||||||||||||||||||||||||