Max-SAT 2011 |
|
Sixth Max-SAT Evaluation |
Welcome. Please log in or sign up. | |
Introduction
|
Previous EvaluationsThree previous Max-SAT evaluations have been held: Max-SAT 2006, Max-SAT 2007, Max-SAT 2008, Max-SAT 2009, and Max-SAT 2010. |
Django Powered || Last modified: April 6th, 2011. |