CSCE 421/821

Foundations of Constraint Processing

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.