In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the context of MaxSAT. In particular, we experimentally show how to easily combine configurations of a non-competitive solver to obtain a better solving approach.
Cite
@article{arxiv.2306.07635,
title = {Exploiting Configurations of MaxSAT Solvers},
author = {Josep Alòs and Carlos Ansótegui and Josep M. Salvia and Eduard Torres},
journal= {arXiv preprint arXiv:2306.07635},
year = {2023}
}