0 citations
Exploiting Configurations of MaxSAT Solvers
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)2022
Citations Over TimeTop 1% of 2022 papers
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.
Related Papers
- → Initializing Bayesian Hyperparameter Optimization via Meta-Learning(2015)394 cited
- → Deep Neural Network with Hyperparameter Tuning for Detection of Heart Disease(2021)23 cited
- → Evaluation of Hyperparameter-Optimization Approaches in an Industrial Federated Learning System(2022)14 cited
- → Bayesian Hyperparameter Optimization for Ensemble Learning(2016)35 cited
- → Evaluation of Hyperparameter-Optimization Approaches in an Industrial Federated Learning System(2021)