Josep Suy Franch: A satisfiability modulo theories approach to constraint programming. University of Girona, Spain 2012