Course Scheduling in an Adjustable Constraint Propagation Schema.
Nikolaos PothitosPanagiotis StamatopoulosKyriakos ZervoudakisPublished in: ICTAI (2012)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solving
- temporal constraints
- scheduling problem
- databases
- systematic search
- linear programming
- data model
- search space
- tree search
- database schema
- arc consistency
- soft constraints
- quantifier elimination
- interval arithmetic
- backtracking algorithms
- constraint graph
- constrained problems
- path consistency
- database
- computational complexity
- relational databases
- dynamic programming