Proyecto de investigación
PID2022-138506NB-C21
Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A)
date_range
Duración del 01 de septiembre de 2023 al 31 de agosto de 2026
(36 meses)
Convocatoria: