Glossaries

Class participation: Glossaries are lists of important terms that students should be able to define formally. After finishing a topic, we will go through the terms in the the corresponding glossary and state these definitions as formally as possible. Students who can correctly define a term earn a bonus point towards class participation. These bonus points are cumulated and constitute the 8% component of the grade.

1. General I: Glossary 1.
2. General II: Glossary 2.
3. Arc Consistency: Glossary 3.
4. Search Hybrids: Glossary 4.
5. CSP parameters and phase transition: Glossary 5.
6. Graph parameters and graph-based ordering algotithms: Glossary 6.
7. GAC for AllDiff: Glossary 7.
8. Relational operators: Glossary 8.
9. Local and global consistency properties: Glossary 9.
10. Local search: Glossary 10.
11. Structure-based techniques: Glossary 11.