Title: SAT y SMT para problemas combinatorios Event: Seminari al Campus de Guipuzkoa Date: 30/11/2017 Place: Donostia, ESPANYA