1. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Mayer-Eichberger, V.: A New Look at BDDs for Pseudo-Boolean Constraints. Journal of Artificial Intelligence Research (JAIR) 45, 443–480 (2012)
2. Akers, S.B.: Binary Decision Diagrams. IEEE Transactions on Computers 27(6), 509–516 (1978)
3. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: A Proposal for Solving Weighted CSPs with SMT. In: Proceedings of the 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011), pp. 5–19 (2011)
4. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Satisfiability Modulo Theories: an Efficient Approach for the Resource-Constrained Project Scheduling Problem. In: Proceedings of the 9th Symposium on Abstraction, Reformulation and Approximation (SARA 2011), pp. 2–9 (2011)
5. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Solving weighted CSPs with meta-constraints by reformulation into Satisfiability Modulo Theories. Constraints 18(2), 236–268 (2013)