Max-SAT 2009

Fourth Max-SAT Evaluation

Previous Evaluations

Three previous Max-SAT evaluations have been held: Max-SAT 2006, Max-SAT 2007, and Max-SAT 2008.

Last modified: July 22nd, 2009.