Títol: SAT y SMT para problemas combinatorios Acte: Seminari al Campus de Guipuzkoa Data: 30/11/2017 Lloc: Donostia, ESPANYA