Evaluation has been extended to June 7th.
https://maxsat-evaluations.github.io/2022/
[Please distribute further to potential participants!]
DEADLINES:
Submission deadline for solvers and benchmarks: June 7th
Final results: At SAT 2022 (August 2-5)
***NEW FOR 2022:***
INCREMENTAL TRACK: The goal of the incremental track is to evaluate the performance and applicability of MaxSAT solvers in applications requiring solving a sequence of related MaxSAT instances. The goal of the incremental track is to provide further incentives for research on incremental MaxSAT solving towards efficiently and truly incremental open-source MaxSAT solvers, to provide incremental MaxSAT benchmark applications for benchmarking incremental solvers, and to provide a uniform interface for incremental MaxSAT solving in order to benefit users who aim to use incremental MaxSAT in applications.
More details: https://maxsat-evaluations.github.io/2022/incremental.html
CHANGES TO THE WCNF INPUT FORMAT: The changes (hard clauses marked with "h" + removal of the p-line) will require minor modifications to existing solvers!
More details: https://maxsat-evaluations.github.io/2022/rules.html#input
ABOUT MSE 2022
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.
SUBMISSIONS
MSE 2022 welcomes contributions of two types from the community at large:
-New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
-implementations of MaxSAT solvers that will be evaluated within MSE 2022 on a heterogeneous collection of benchmarks.
ORGANIZATION
MSE 2022 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).
CONTACT: maxsatevaluation@gmail.com<mailto:maxsatevaluation@gmail.com>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
