Competitions

MaxSAT Evaluation

The 2022 MaxSAT Evaluation (MSE 2022) is the 16th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.

The main goals of MaxSAT Evaluation 2022 are:

  • to assess the state of the art in the field of MaxSAT solvers,
  • to collect and re-distribute a heterogeneous MaxSAT benchmark set for further scientific evaluations, and
  • to promote MaxSAT as a viable option for solving instances of a wide range of NP-hard optimization problems.

For further information, please visit the MaxSAT Evaluation 2022 website.