# Exploiting Configurations of MaxSAT Solvers

arXiv: https://arxiv.org/abs/2306.07635 · HTML: https://mlsanity.com/paper/2306.07635/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 17 references that are in the map.
- First posted on arXiv 13 Jun 2023.

## Builds on (most cited first, 1 of 1)

- [SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization](https://mlsanity.com/paper/2109.09831/) (2021)

## Abstract (arXiv)

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.