The MaxSat Evaluation is designed to provide a snapshot of current progress in solving MaxSat by running submitted MaxSat solvers on a heterogenous collection of benchmark instances.
MSE 2018 will be the 13th annual MaxSat Evaluation. We welcome contributions of two types from the community at large:
a) New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
b) implementations of MaxSAT solvers that will be evaluated within MSE 2018 on a heterogenous collection of benchmarks.
MSE-2018 organizing committee
- Fahiem Bacchus (University of Toronto, Canada)
- Matti Järvisalo (University Helsinki, Finland)
- Ruben Martins (University of Texas at Austin, USA)