Scheduling Aircraft Using Constraint Satisfaction.
Pim van LeeuwenHenk HesselinkJos RohlingPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- constraint satisfaction
- constraint relaxation
- constraint satisfaction problems
- phase transition
- heuristic search
- scheduling problem
- hard constraints
- constraint programming
- scheduling algorithm
- probabilistic reasoning
- relaxation labeling
- constraint propagation
- product configuration
- combinatorial problems
- arc consistency
- constrained problems
- soft constraints
- russian doll search
- constraint networks
- constraint solving
- sat solvers
- neural network
- forward checking
- bayesian networks
- robust fault detection
- genetic algorithm