Important Dates
Rules
Machine Specifications
Results
Submitted Benchmarks
Submitted Solvers
Previous Evaluations
Organizers
Josep Argelich, INESC-ID, Lisboa Chu Min Li, Université de Picardie, France Felip Manyà, IIIA-CSIC, Spain Jordi Planes, Universitat de Lleida, Spain
To reach the organizers, send an e-mail to maxsat@diei.udl.cat.