MaxSAT Evaluation
2022
Affiliated with
SAT 2022
· August 2-5 · Haifa, Israel
Organizers
Fahiem Bacchus
(University of Toronto, Canada)
Matti Järvisalo
(University Helsinki, Finland)
Jeremias Berg
(University Helsinki, Finland)
Ruben Martins
(Carnegie Mellon University, USA)
Andreas Niskanen
(University Helsinki, Finland)
Important Dates
Submissions:
June 7
Results:
at SAT'22
Calls
Call for Benchmarks
Call for Solvers
Participation
Main Tracks
NEW: Incremental Track
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History