Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Browse the full CP paper archive.