Forschungsprojekt
TIN2016-76573-C2-2-P
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3)
date_range
Dauer von 30 von Dezember von 2016 bis 29 von Dezember von 2020
(48 Monate)
Fertig
Forscher/innen
CARLOS J.
ANSOTEGUI GIL
Verantwortlich