Computing and restoring global inverse consistency in interactive constraint satisfaction.
Christian BessiereHélène FargierChristophe LecoutrePublished in: Artif. Intell. (2016)
Keyphrases
- constraint satisfaction
- arc consistency
- product configuration
- inverse consistency
- constraint satisfaction problems
- heuristic search
- constraint propagation
- constraint relaxation
- relaxation labeling
- constraint programming
- phase transition
- soft constraints
- sat solvers
- global constraints
- combinatorial problems
- generalized arc consistency
- constraint solving
- robust fault detection
- path consistency
- non binary
- max csp
- search algorithm
- russian doll search
- special case