- Head researcher
- PEDRO MESEGUER GONZALEZ
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.
Main specialization
Área de investigación:
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