Global Inverse Consistency for Interactive Constraint Satisfaction.
Christian BessiereHélène FargierChristophe LecoutrePublished in: CP (2013)
Keyphrases
- constraint satisfaction
- arc consistency
- product configuration
- inverse consistency
- constraint satisfaction problems
- cost function
- heuristic search
- constraint propagation
- phase transition
- constraint programming
- soft constraints
- relaxation labeling
- constraint relaxation
- robust fault detection
- russian doll search
- constraint networks
- non binary
- constrained problems
- max csp
- search space
- path consistency
- combinatorial problems
- forward checking
- generalized arc consistency
- sat solvers
- backtracking algorithms