MaxSAT Evaluation
2017
Affiliated with
SAT 2017
· August 28 - September 1 · Melbourne, Australia
Organizers
Carlos Ansótegui
(University of Lleida, Spain)
Fahiem Bacchus
(University of Toronto, Canada)
Matti Järvisalo
(University Helsinki, Finland)
Ruben Martins
(University of Texas at Austin, USA)
Important Dates
Submissions:
June 30
Results:
at SAT'17
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