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.

Especialización principal

Área científica:
Disciplina ERC:
  • PE - DOMAIN PHYSICAL SCIENCE AND ENGINEERING
  • PE6 Computer Science and Informatics
Industrial Leadership:
  • 1 Information and Communication Technologies (ICT)
  • 1.2. Next generation computing: advanced computing systems and technologies
Societal Challenges:
  • 7. Other
  • 7.1. Other