MaxSAT Evaluation
2023
Affiliated with
SAT 2023
· · Italy
Organizers
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:
May 15
Results:
at SAT'23
Calls
Call for Benchmarks
Call for Solvers
Participation
Main Tracks
Incremental Track
Rules
Execution Environment
Submissions
Results
Rankings and Data
Benchmarks
Solvers
Further Information
Organizers
History