MaxSAT Evaluation
2021
Affiliated with
SAT 2021
· July 5-9 · Barcelona, Spain
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 15
Results:
at SAT'21
Calls
Call for Benchmarks
Call for Solvers
Participation
Tracks
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History