Paper ID: 2306.07635

Exploiting Configurations of MaxSAT Solvers

Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres

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.

Submitted: Jun 13, 2023