On Division Versus Saturation in Pseudo-Boolean Solving.

Stephan Gocht, Jakob Nordstrm, Amir Yehudayoff

Browse the full IJCAI paper archive.