Using interval constraint propagation for pseudo-Boolean constraint solving.

Karsten Scheibler, Bernd Becker

Browse the full FMCAD paper archive.