Practical Algorithms for Deciding Path Ordering Constraint Satisfaction.
Robert NieuwenhuisJosé Miguel RiveroPublished in: Inf. Comput. (2002)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- forward checking
- combinatorial problems
- worst case
- optimization problems
- shortest path
- orders of magnitude
- constraint optimization
- constrained problems
- constraint networks
- constraint problems
- robust fault detection
- relaxation labeling
- probabilistic reasoning
- constraint propagation
- propositional logic
- constraint programming
- heuristic search