TY  - RPRT
TI  - Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AU  - Saurabh Joshi
AU  - Ruben Martins
AU  - Vasco Manquinho
PY  - 2015
DO  - 10.1007/978-3-319-23219-5_15
UR  - https://arxiv.org/abs/1507.05920
ID  - 1507.05920
ER  -