MaxSAT Evaluation
2020
Affiliated with
SAT 2020
· July 5-9 · Alghero, Italy
Organizers
Fahiem Bacchus
(University of Toronto, Canada)
Matti Järvisalo
(University Helsinki, Finland)
Jeremias Berg
(University Helsinki, Finland)
Ruben Martins
(Carnegie Mellon University, USA)
Important Dates
Submissions:
June 7
June 15
Results:
at SAT'20
Calls
Call for Benchmarks
Call for Solvers
Participation
Tracks
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History