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