Evaluation of ordering strategies for constraint satisfaction reactive scheduling.
Min Soo SuhAlbert LeeYung Jae LeeYoung Kwan KoPublished in: Decis. Support Syst. (1998)
Keyphrases
- constraint satisfaction
- constraint relaxation
- constraint satisfaction problems
- heuristic search
- search strategies
- phase transition
- constraint programming
- russian doll search
- constraint propagation
- relaxation labeling
- arc consistency
- constraint optimization
- probabilistic reasoning
- combinatorial problems
- soft constraints
- sat solvers
- robust fault detection
- constraint networks
- constraint problems
- neural network
- hard constraints
- scheduling algorithm
- state space