Max-SAT 2010 |
|
Fifth 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, and Max-SAT 2009. |
| Django Powered || Last modified: July 14th, 2010. | |