Cita recomanada
Suy Franch, Josep. (2012). A satisfiability modulo theories approach to constraint programming. Girona: Universitat. [Consulta: 28 Març 2023]. Disponible a: http://hdl.handle.net/10803/98302http://hdl.handle.net/10256/9867