NEWS

• Solver and benchmark descriptions are available.
• Results and slides of the MSE presentation given at SAT'23 are available.
• The deadline for submitting solvers and benchmarks extended to May 31.
• Deadline for submitting solvers and benchmarks: May 15. May 31.

About MSE 2023

The 2023 MaxSAT Evaluation (MSE 2023) is the 18th 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 2023 are

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

MSE 2023 welcomes contributions of two types from the community at large:

1. New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
2. implementations of MaxSAT solvers that will be evaluated within MSE 2023 on a heterogeneous collection of benchmarks.

MSE 2023 is run as a collaboration between Carnegie Mellon University (USA) and University of Helsinki (Finland).