MaxSAT Evaluation 2021
Affiliated with SAT 2021   ·   July 5-9   ·   Barcelona, Spain

    NEWS

    • August 9: Solver and benchmark descriptions are now available.
    • July 11: Results for the complete track are now available.
    • July 8: First results of the incomplete tracks, MSE 2021 benchmark sets, solver sources and MSE 2021 slides presented at SAT'21 available.

    About MSE 2021

    The 2021 MaxSAT Evaluation (MSE 2021) is the 15th 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 2021 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 2021 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 2021 on a heterogeneous collection of benchmarks.

    MSE 2021 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).