- August 1: Benchmarks submitted to the MSE18 are available in a single file.
- July 21: MSE18 solver and benchmark descriptions are available.
- July 21: Slides of the MSE18 presentation at SAT'18 are available.
- July 21: Solver sources are available for download.
- July 21: Benchmarks used in the evaluations are available.
- July 12: Results of the evaluations are available.
- May 29: Submission deadline for both solvers and benchmarks extended to June 7.
- April 12: Webpage online.
- 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.
- New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
- implementations of MaxSAT solvers that will be evaluated within MSE 2018 on a heterogeneous collection of benchmarks.
NEWS
About MSE 2018
The 2018 MaxSAT Evaluation (MSE 2018) is the 13th 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 2018 (MSE 2018) are
MSE 2018 welcomes contributions of two types from the community at large:
MSE 2018 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).