Pseudo-Boolean Optimization by Implicit Hitting Sets. - Pavel Smirnov 003; Jeremias Berg; Matti Järvisalo (CP, 2021)

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. - Pavel Smirnov 003; Jeremias Berg; Matti Järvisalo (SAT, 2022)