Max-SAT 2014

Ninth Max-SAT Evaluation



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

Special thanks to Ruben Martins for his valuable help in the MaxSAT Evaluation presentation.

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: Jan. 8th, 2014.