AIJun 13, 2023
Exploiting Configurations of MaxSAT Solvers
arXiv:2306.07635v11 citationsh-index: 6
Originality Synthesis-oriented
AI Analysis
This work addresses performance optimization for MaxSAT solvers, which is incremental as it builds on existing configuration methods.
The paper tackles the problem of improving MaxSAT solver performance by exploiting alternative parameter configurations, and demonstrates that combining configurations from a non-competitive solver can yield a better solving approach.
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.