EDUARD
TORRES MONTIEL
CON
Proyectos vigentes
Proyectos finalizados
2024
-
Sistemas de Demostración Prácticos Mas Allá de Resolución.
CARLOS J. ANSOTEGUI GIL
2017
-
TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones
CARLOS J. ANSOTEGUI GIL