Constraint Satisfaction Problems - Lectures
Auf dieser Seite werden während des Semesters die Vorlesungsfolien und zusätzliches Material bereit gestellt.
| Nr. | Datum | Thema | Folien | Änderung |
|---|---|---|---|---|
| 1. | Monday, 20.10.2014 | Introduction | (Screen) (Printer) (Printer; 4 on 1) | |
| 2. | Wednesday, 22.10.2014 Monday, 27.10.2014 |
Mathematical background | (Screen) (Printer) (Printer; 4 on 1) | |
| 3. | Monday, 27.10.2014 | Constraint networks | (Screen) (Printer) (Printer; 4 on 1) | 29.10.2014 |
| 4. | Monday, 03.11.2014 Wednesday, 05.11.2014 Monday, 10.11.2014 Wednesday, 12.11.2014 |
Enforcing consistency | (Screen) (Printer) (Printer; 4 on 1) | 10.11.2014 |
| 5. | Monday, 17.11.2014 Wednesday, 19.11.2014 Monday, 24.11.2014 |
Search and look-ahead | (Screen) (Printer) (Printer; 4 on 1) | 23.11.2014 |
| 6. | Wednesday, 26.11.2014 Monday, 1.12.2014 |
Look-back | (Screen) (Printer) (Printer; 4 on 1) | 3.12.2014 |
| 7. | Wednesday, 3.12.2014 Monday, 8.12.2014 |
Stochastic local search | (Screen) (Printer) (Printer; 4 on 1) | 10.12.2104 |
| 8. | Monday, 15.12.2014 Wednesday, 17.12.2014 |
Global constraints | (Screen) (Printer) (Printer; 4 on 1) | |
| 9. | Wednesday, 7.1.2015 Monday, 12.1.2015 |
Constraint optimization | (Screen) (Printer) (Printer; 4 on 1) | |
| 10. | Monday, 12.1.2015 Wednesday, 14.1.2015 Monday, 19.1.2015 |
Tractable constraint languages | (Screen) (Printer) (Printer; 4 on 1) | |
| 11. | Monday, 26.01.2015 Wednesday, 28.01.2015 |
ECLiPSe Constraint Logic Programming | (Screen) (Printer) (Printer; 4 on 1) | 28.01.2015 |
| 12. | Wednesday, 04.02.2015 | Qualitative temporal constraints | (Screen) (Printer) (Printer; 4 on 1) |