Generalized Totalizer Encoding for Pseudo-Boolean Constraints admin, Ruben Martins, Vasco Manquinho Last updated on Nov 15, 2021 PDF Cite Code DOI Constraint Programming