TY  - RPRT
TI  - Optimal Base Encodings for Pseudo-Boolean Constraints
AU  - Michael Codish
AU  - Yoav Fekete
AU  - Carsten Fuhs
AU  - Peter Schneider-Kamp
PY  - 2011
UR  - https://arxiv.org/abs/1007.4935
ID  - 1007.4935
ER  -