Variable and value elimination in binary constraint satisfaction via forbidden patterns.
David A. CohenMartin C. CooperGuillaume EscamocherStanislav ZivnýPublished in: CoRR (2015)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint relaxation
- non binary
- arc consistency
- constraint propagation
- relaxation labeling
- constraint programming
- probabilistic reasoning
- phase transition
- elimination algorithm
- constraint networks
- soft constraints
- search strategies
- pattern mining
- product configuration
- russian doll search
- combinatorial problems
- frequent patterns
- constraint problems
- constraint solver
- constrained problems
- fuzzy logic
- optimal solution
- robust fault detection
- genetic algorithm