Max-SAT 2013 |
|
Eighth Max-SAT Evaluation |
Welcome. | |||||||||
Introduction
|
Organizers
We thank the Université de Picardie Jules Verne and the Région Picardie in France for letting us use their computational resources. In particular, we used cluster MECS. Web page migrated to Django by Francesc Guitart and Jordi Planes. |
||||||||
Django Powered || Last modified: Feb 1st, 2013. |