Constructing university timetable using constraint satisfaction programming approach.
Lixi ZhangSim Kim LauPublished in: CIMCA/IAWTIC (2005)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- programming language
- relaxation labeling
- constraint programming
- phase transition
- constraint propagation
- hard constraints
- combinatorial problems
- russian doll search
- constraint relaxation
- arc consistency
- robust fault detection
- constraint solving
- soft constraints
- probabilistic reasoning
- constraint networks
- lower bound
- sat solvers
- feasible solution
- combinatorial optimization
- satisfiability problem
- constrained problems
- forward checking
- backtrack search
- fuzzy logic
- evolutionary algorithm