Proyecto de investigación
TIN2016-76573-C2-2-P
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3)
date_range
Duración del 30 de diciembre de 2016 al 29 de diciembre de 2020
(48 meses)
Convocatoria:
Investigadores/as
CARLOS J.
ANSOTEGUI GIL
Responsable