@misc{indiciae7d3e4f4ca3b8,
  title = {Generalized Totalizer Encoding for Pseudo-Boolean Constraints},
  author = {Saurabh Joshi and Ruben Martins and Vasco Manquinho},
  year = {2015},
  doi = {10.1007/978-3-319-23219-5\_15},
  url = {https://arxiv.org/abs/1507.05920},
  note = {Source identifier: 1507.05920}
}