1. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E. (2013). A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. In Schulte, C. (Ed.) Principles and practice of constraint programming - CP 2013, LNCS, (Vol. 8124 pp. 80–96). Heidelberg: Springer.
2. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E. (2011). Cardinality networks: a theoretical and empirical study. Constraints, 16(2), 195–221.
3. Asín, R., & Nieuwenhuis, R. (2014). Curriculum-based course timetabling with SAT and MaxSAT. Annals of Operations Research, 218(1), 71–91.
4. Aavani, A., Mitchell, D.G., Ternovska, E. (2013). New encoding for translating pseudo-Boolean constraints into SAT. In Frisch, A.M., Gregory, P. (eds.) SARA, AAAI.
5. Bailleux, O., Boufkhad, Y., Roussel, O. (2006). A translation of pseudo-boolean constraints to SAT, Journal on Satisfiability. Boolean Modeling and Computation, 2, 191–200.