IIIA-CSIC – LÓGICA, RAZONAMIENTO Y BÚSQUEDA HEURÍSTICA

La actividad de este grupo se centra en la modelización lógico-matemática del razonamiento y en el diseño de algoritmos para la resolución de problemas basados en restricciones y en satisfactibilidad.

Utilizamos cookies en este sitio para mejorar su experiencia de usuario. Más información. ACEPTAR

Aviso de cookies