Max-SAT 2014 |
|
Ninth Max-SAT Evaluation |
Welcome. | |
Introduction
|
Previous EvaluationsThree previous Max-SAT evaluations have been held: Max-SAT 2006, Max-SAT 2007, Max-SAT 2008, Max-SAT 2009, Max-SAT 2010, Max-SAT 2011, Max-SAT 2012, and Max-SAT 2013 |
Django Powered || Last modified: Jan. 8th, 2014. |