2026-07-20T02:13:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19044 2024-03-06T11:03:21Z ddc:004 open_access

Exploiting Configurations of MaxSAT Solvers Alòs, Josep Ansótegui, Carlos Salvia, Josep M. Torres, Eduard maximum satisfiability maxsat evaluation automatic configuration 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Josep Alòs and Carlos Ansótegui and Josep M. Salvia and Eduard Torres 2023 Is Part Of LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CP.2023.7 urn:nbn:de:0030-drops-190443 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.7 eng https://creativecommons.org/licenses/by/4.0/legalcode