![Foto de MA. ALBA](/img/nophoto.png)
MA. ALBA
CABISCOL TEIXIDO
TU
Proyectos vigentes
Proyectos finalizados
2024
-
Sistemas de Demostración Prácticos Mas Allá de Resolución.
CARLOS J. ANSOTEGUI GIL
2020
-
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3)
CARLOS J. ANSOTEGUI GIL
2017
-
TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones
CARLOS J. ANSOTEGUI GIL
2013
2010
-
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT
CESAR FERNANDEZ CAMON
2008
-
Instituciones Electrónicas Autónomas.
MARIA TERESA ALSINET BERNADO