Cita recomanada
Bofill Arasa, Miquel ; Palahà i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu. (2012). Solving constraint satisfaction problems with SAT modulo theories. Girona: Universitat. [Consulta: 25 Febrer 2021]. Disponible a: http://hdl.handle.net/10256/12645