Static Parallel Arc Consistency in Constraint Satisfaction.
James M. ConradDennis BahlerJames BowenPublished in: ISMIS (1991)
Keyphrases
- constraint satisfaction
- arc consistency
- constraint satisfaction problems
- constraint programming
- constraint propagation
- soft constraints
- non binary
- arc consistency algorithm
- max csp
- forward checking
- branch and bound search
- global constraints
- heuristic search
- combinatorial problems
- constraint networks
- path consistency
- constraint relaxation
- russian doll search
- phase transition
- np complete
- constraint problems
- constraint optimization
- space complexity
- constraint solving
- sat solvers
- search space
- singleton arc consistency
- robust fault detection
- learning algorithm
- binary constraints
- search strategies
- backtracking algorithms