Max-SAT 2016 |
|
Eleventh Max-SAT Evaluation |
| Welcome. Please log in . | |
|
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, Max-SAT 2013, Max-SAT 2014, and Max-SAT 2015 |
| Django Powered || Last modified: Apr. 16th, 2016. | |