![Foto de CARLOS J.](/img/nophoto.png)
CARLOS J.
ANSOTEGUI GIL
CU
Proyectos vigentes
Proyectos finalizados
2024
-
Sistemas de Demostración Prácticos Mas Allá de Resolución.
CARLOS J. ANSOTEGUI GIL
2022
2021
2020
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