Additional information: http://pr.ssdi.di.fct.unl.pt
This course, offered to the Integrated Master in Computer Science and Engineering and to the European Master''''''''s Program in Computational Logic, deepens the knowledge on the topic of Search, listed as optional in the 2008 ACM CS Curriculum in the field of Intelligent Systems (IS / AdvancedSearch [elective]), and its use for solving combinatorial problems.
Combinatorial problems (both satisfaction and/or optimization) are common in many application domains (resource management, scheduling, timetabling) including computer science itself (eg hardware/software configuration, program verification). The complexity of combinatorial problems require the use of efficient methods of resolution, studied in this course unit, and based on complete search in finite (or Boolean) domains, constraint propagation to narrow the variable domains during search. The course also addresses constraint propagation adapted for continuous domains, although in this case the completeness of search cannot be generally guaranteed.
Knowledge:
Application:
Soft-skills:
|
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.
Main References:
Complementary Reference:
Hours per credit | 28 | ||
Hours per week | Weeks | Hours | |
Aulas práticas e laboratoriais | 24.0 | ||
Aulas teóricas | 24.0 | ||
Avaliação | 6.0 | ||
Self study | 54.0 | ||
Orientação tutorial | 6.0 | ||
Project | 54.0 | ||
Total hours | 168 | ||
ECTS | 6.0 |