MaxSAT Evaluation
2019
Affiliated with
SAT 2019
· July 7-12 · Lisbon, Portugal
Organizers
Fahiem Bacchus
(University of Toronto, Canada)
Matti Järvisalo
(University Helsinki, Finland)
Ruben Martins
(Carnegie Mellon University, USA)
Important Dates
Submissions:
May 31
June 11
Results:
at SAT'19
Calls
Call for Benchmarks
Call for Solvers
Participation
Tracks
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History