Max-SAT 2013

Eighth Max-SAT Evaluation



Josep Argelich Chu Min Li Felip Manyà Jordi Planes
Universitat de Lleida Université de Picardie IIIA-CSIC Universitat de Lleida

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.