Constraint Satisfaction Timetabling Research Based on Course-Period-Template Selection and Conflict-Vector Detection.
Mingguang YangLiyuan CaiGuoming SongPublished in: FCST (2010)
Keyphrases
- constraint satisfaction
- constraint programming
- constraint satisfaction problems
- combinatorial problems
- relaxation labeling
- phase transition
- arc consistency
- constraint relaxation
- heuristic search
- soft constraints
- constraint propagation
- robust fault detection
- russian doll search
- hard constraints
- constraint networks
- search strategies
- product configuration
- template matching
- probabilistic reasoning
- sat solvers
- constraint solving
- simulated annealing
- dynamic programming
- machine learning