abs-1007-4935'

@article{DBLP:journals/corr/abs-1007-4935,
  author    = {Michael Codish and
               Yoav Fekete and
               Carsten Fuhs and
               Peter Schneider-Kamp},
  title     = {Optimal Base Encodings for Pseudo-Boolean Constraints},
  journal   = {CoRR},
  volume    = {abs/1007.4935},
  year      = {2010},
  ee        = {http://arxiv.org/abs/1007.4935},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}