Max-SAT 2012 |
|
Seventh Max-SAT Evaluation |
| Welcome. Please log in or sign up. | |
|
Introduction
|
In case you find any problem, you can contact the MaxSAT Evaluation organizers. |
| Django Powered || Last modified: Feb 7th, 2012. | |