Constraint Programming: from Foundations to Applications

Prof. Stefano Bistarelli
Dipartimento di Matematica e Informatica, Università di Perugia

16 hours, 4 credits

Period to be decided

Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, Largo Lucio Lazzarino, meeting room

Contacts: Ing. A. Bechini

Abstract

Constraint Programming is an active research field related to a wide variety of subjects such as Operating Research, Artificial Intelligence, Programming Languages, and Database Systems. It provides tools to model and solve actual problems, regarded as a set of constraints over a given set of variables.

During the course students will be introduced the basic concepts of Constraint Programming, and they will develop abilities to analyze constraint problems by means of techniques presented in the lectures.

Syllabus

• Course introduction and examples of constraints problems
• Constraint programming basics
• Complete and incomplete solvers; local consistency
• Algorithms for constraints propagation
• Search methods in the solution space
• Advanced topics