Investigations of a Constraint Logic Programming Approach to University Timetabling.
Czarina ChengLe KangNorrus LeungGeorge M. WhitePublished in: PATAT (1995)
Keyphrases
- answer sets
- constraint logic programming
- answer set programming
- logic programming
- logic programs
- constraint programming
- logic programming language
- constraint solving
- case study
- integrity checking
- finite domain
- constraint propagation
- databases
- proof theoretic
- global constraints
- search strategies
- expert systems
- data mining
- integer programming
- temporal reasoning
- arc consistency
- constraint satisfaction
- timetabling problem
- constraint satisfaction problems
- digital forensics
- linear programming
- e learning
- database