Proyecto
 (2025)

Towards an autonomous constraint-encoding OMT solver.

Gálvez Ramírez, Nicolás

Más información

Fecha de publicación: 2025
Instrumento: Fondecyt de Iniciación en Investigación
Año de Inicio/Término: 2025-2028
Financiamiento/Sponsor: CONICYT
Rol del Usuario: INVESTIGADOR(A) RESPONSABLE