Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.

Pavel Smirnov, Jeremias Berg, Matti Jrvisalo

Browse the full SAT paper archive.