MaxSAT Evaluation
2018
Affiliated with
SAT 2018
at the
Federated Logic Conference 2018
· July 9-12 · Oxford, UK
Site Credits
Important Dates
Submissions:
May 31
June 7
Results:
at SAT'18
Calls
Call for Benchmarks
Call for Solvers
Participation
Tracks
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History
Site credits