1. Bankovic, M., & Maric, F. (2010). An Alldifferent constraint solver in SMT. In 8th International Workshop on Satisfiability Modulo Theories.
2. Barrett, C., Sebastiani, R., Seshia, S.A., & Tinelli, C. (2009). Satisfiability Modulo Theories. In Handbook of Satisfiability, chap. 26, pp. 825–885. IOS Press.
3. Barrett, C., Stump, A., & Tinelli, C. (2010). The SMT-LIB Standard: Version 2.0, http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.0-r12.09.09.pdf .
4. Berge, C. (1970). Graphes et hypergraphes.
5. Bofill, M., Palahí, M., Suy, J., & Villaret, M. (2012). Solving constraint satisfaction problems with SAT modulo theories. Constraints, 17(3), 273–303.