Optimal Base Encodings for Pseudo-Boolean Constraints.

Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp

Browse the full TACAS paper archive.