Nurse Scheduling using Constraint Logic Programming.
Slim AbdennadherHans SchlenkerPublished in: AAAI/IAAI (1999)
Keyphrases
- constraint logic programming
- constraint solving
- answer set programming
- logic programming language
- constraint programming
- logic programming
- scheduling problem
- constraint propagation
- scheduling algorithm
- health care
- temporal reasoning
- lower bound
- proof theoretic
- parallel machines
- constraint satisfaction problems
- global constraints
- nonmonotonic reasoning
- answer sets
- linear programming
- general purpose
- finite domain
- artificial intelligence