Pseudo-Boolean Optimization via Implicit Hitting Sets

PBO-IHS is an implementation of the implicit hitting set approach to pseudo-Boolean optimization. PBO-IHS uses the conflict-driven pseudo-Boolean solver RoundingSAT as a core-extractor and the CPLEX mixed-integer programming solver as a hitting-set solver. We have shown that PBO-IHS achieves orthogonal performance compared to other state-of-the-art PBO-solvers and currently represents one of the best performing approaches to PBO.

PBO-IHS was developed by Pavel Smirnov. It is available in open source (as long as you supply your own MIP solver) on bitbucket