University Timetabling Using Constraint Logic Programming.
Hans-Joachim GoltzDirk MatzkePublished in: PADL (1999)
Keyphrases
- constraint logic programming
- constraint programming
- constraint solving
- logic programming language
- constraint propagation
- answer set programming
- logic programming
- integrity checking
- constraint satisfaction
- global constraints
- constraint satisfaction problems
- search strategies
- programming paradigms
- constraint solver
- finite domain
- image sequences
- timetabling problem
- temporal reasoning
- proof theoretic
- case study
- natural language
- search algorithm