Unifying Core-Guided and Implicit Hitting Set Based Optimization

Unifying Core-Guided and Implicit Hitting Set Based Optimization

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Main Track. Pages 1935-1943. https://doi.org/10.24963/ijcai.2023/215

Two of the most central algorithmic paradigms implemented in practical solvers for maximum satisfiability (MaxSAT) and other related declarative paradigms for NP-hard combinatorial optimization are the core-guided (CG) and implicit hitting set (IHS) approaches. We develop a general unifying algorithmic framework, based on the recent notion of abstract cores, that captures both CG and IHS computations. The framework offers a unified way of establishing the correctness of variants of the approaches, and can be instantiated in novel ways giving rise to new algorithmic variants of the core-guided and IHS approaches. We illustrate the latter aspect by developing a prototype implementation of an algorithm variant for MaxSAT based on the framework.
Keywords:
Constraint Satisfaction and Optimization: CSO: Constraint optimization
Constraint Satisfaction and Optimization: CSO: Satisfiabilty
Constraint Satisfaction and Optimization: CSO: Solvers and tools