2026-07-20T11:32:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26340 2026-07-16T10:50:12Z ddc:004 open_access

HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper) Ihalainen, Hannes Vandesande, Dieter Schidler, André Berg, Jeremias Järvisalo, Matti Pseudo-Boolean optimization implicit hitting set approach solvers We describe HitPBO 1.0, a from-scratch open-source C++ implementation of the implicit hitting set (IHS) approach to pseudo-Boolean optimization. Compared to earlier implementations, HitPBO adds a range of functionalities and search techniques, certificates, and support for various alternative solvers within IHS. We give an overview of the solver’s architecture and its functionalities. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hannes Ihalainen and Dieter Vandesande and André Schidler and Jeremias Berg and Matti Järvisalo 2026 Is Part Of LIPIcs, Volume 377, 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SAT.2026.34 urn:nbn:de:0030-drops-263401 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.34 eng https://creativecommons.org/licenses/by/4.0/legalcode