Título: SAT y SMT para problemas combinatorios Evento: Seminari al Campus de Guipuzkoa Fecha: 30/11/2017 Lugar: Donostia, ESPANYA