@misc{indiciae26e819a526c7,
  title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
  author = {Michael Codish and Yoav Fekete and Carsten Fuhs and Peter Schneider-Kamp},
  year = {2011},
  url = {https://arxiv.org/abs/1007.4935},
  note = {Source identifier: 1007.4935}
}