2026-07-21T12:18:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25169 2026-02-09T08:18:09Z ddc:004 open_access

PACE Solver Description: Minimum Hitting Set Computation via Core-Guided MaxSAT Solving Schidler, André hitting set maxsat core-guided This paper describes our hybrid MaxSAT and mixed integer programming approach for finding minimum hitting sets as submitted to the 2025 PACE challenge. We also discuss hitting set specific challenges, lower bounds, preprocessing and design choices. Schloss Dagstuhl – Leibniz-Zentrum für Informatik André Schidler 2025 Is Part Of LIPIcs, Volume 358, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.IPEC.2025.37 urn:nbn:de:0030-drops-251692 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2025.37 eng https://creativecommons.org/licenses/by/4.0/legalcode