HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper).

Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo

Browse the full SAT paper archive.