Pseudo-Boolean Solving by incremental translation to SAT.

Panagiotis Manolios, Vasilis Papavasileiou

Browse the full FMCAD paper archive.