Cyclical Staff Scheduling Using Constraint Logic Programming.
Peter ChanGeorges WeilPublished in: PATAT (2000)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- scheduling problem
- constraint programming
- temporal reasoning
- constraint propagation
- programming paradigms
- scheduling algorithm
- proof theoretic
- constraint satisfaction
- logic programs
- knowledge base
- answer sets
- linear programming
- general purpose
- upper bound
- constraint solver
- knowledge representation
- finite domain