Variable and value elimination in binary constraint satisfaction via forbidden patterns.
David A. CohenMartin C. CooperGuillaume EscamocherStanislav ZivnýPublished in: J. Comput. Syst. Sci. (2015)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- elimination algorithm
- constraint propagation
- relaxation labeling
- constraint solving
- phase transition
- constraint relaxation
- heuristic search
- constraint programming
- non binary
- neural network
- soft constraints
- combinatorial problems
- probabilistic reasoning
- robust fault detection
- constraint optimization
- russian doll search
- constraint problems
- product configuration
- constraint networks
- data mining techniques
- binary csps
- frequent patterns