Max-SAT 2008 - Third Max-SAT Evaluation

Max-SAT 2008
Third Max-SAT Evaluation

Two previous Max-SAT evaluations has been held: Max-SAT 2007 and Max-SAT 2006.

Last modified: August 4th, 2008.