Exploiting Configurations of MaxSAT Solvers
Alòs, Josep, Ansótegui, Carlos, Salvia, Josep M., Torres, Eduard
Abstract
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.
Topics & Concepts
HyperparameterBayesian optimizationComputer scienceHyperparameter optimizationMachine learningArtificial intelligenceBayesian probabilitySupport vector machineAdvanced Multi-Objective Optimization AlgorithmsMachine Learning and Data ClassificationMetaheuristic Optimization Algorithms Research