Jorge Carlos Ferreira Rodrigues da Cruz, Pedro Manuel Corrêa Calvente Barahona
Weekly - 4
Total - 54
- Dina Rechter, Constraint Processing, Morgan Kauffman, 2003.
- Krzysztof Apt, Principles of Constraint Programming, Cambridge University Press, 2009 (online)
- Jaulin, L., Kieffer, M., Didrit, O., Walter, E., Applied Interval Analysis, Springer, 2001.
- Eldon Hansen, G. William Walster, Global Optimization Using Interval Analysis, Marcel Dekker, 2003
- Jorge Cruz, Constraint Reasoning for Differential Models, 126 Frontiers in Artificial Intelligence and Applications, IOS Press, 2005.
- Comet Tutorial, Dynamic Decision Technologies Inc., August 28, 2009.
- Handbook on Constraint Programming, (F. Rossi, P. van Beek and T. Walsh, eds.), Elsevier, 2006
- Handbook of Satisfiability, (A. Biere, M. Heule, H. Van Maaren and T. Walsh, eds.), IOS Press, 2009
- Ramon E. Moore, Interval Analysis, Prentice-Hall, 1966
The syllabus is taught in theoretical and laboratory classes. In the former, the main concepts and techniques are addressed, together with their implementation in the modelling and execution languages and systems adopted.
The laboratory classes are dedicated to solving problems, selected from typical benchmarks in these áreas, in order to exploit and develop adequate models and search techniques.
The assessment and grading of students includes:
- 2 mini tests (on discrete and finite domains), where the knowledge acquired by the students on the concepts and characteristics of the search techniques are assessed.
- 2 practical projects, that focus on the resolution of mid-sized constraint problems (on discrete and finite domains), and assess the ability of the students to problem modelling and the use and adaptation the techniques explored in the lab classes, albeit in simpler problems.
The final grade is the average of these 4 components (grades rounded to the hundredths), a minimum grade of 8.0 being required both in the average of the 2 mini-tests and in the average of the practical projects.
The grade of the theoretical tests can be replaced by the grade obtained in the final exam.Only students with an average of grades of the practical projects no less than 8.0 have access to the final exam.
1. Decision problems in discrete domains.
2. Problem Modelling.
3. Problem Solving.
4. Introduction to Interval Constraints.
5. Continuous Constraints and Interval analysis.
6. Interval Newton Method.
7. Associating Narrowing Functions to Constraints.
8. Constraint Propagation and Consistency Enforcement.
9. Problem Solving in Continuous Domains.
Programs where the course is taught: