Revisiting Pseudo-Boolean Encodings from an Integer Perspective.

Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey

Browse the full CPAIOR paper archive.