Objectives

This course, offered to the Integrated Master in Computer Science and Engineering and to the European Master's Program in Computational Logic, addresses in more depth the topics of search referred in the ACM Computing Curriculum 2020 in the area of Intelligent Systems (items A, B and C), which complement those introduced in previous courses.

Solving complex decision problems (modelled with constraints) have undergone significant improvements in recent years, taking advantage of corresponding advances in constraint programming, both in finite (including Boolean) and continuous domains, namely through the search space reduction by means of constraint propagation.
The syllabus clearly fulfils the objectives of the course, which is meant to provide the students with the advanced, if consolidated, knowledge in this area, allowing them to detect opportunities to apply it in many situations, modelling the identified problems, and efficiently solve them.