Non-local configuration of component interfaces by constraint satisfaction.
Olga TveretinaPavel ZaichenkovAlex ShafarenkoPublished in: Constraints An Int. J. (2020)
Keyphrases
- constraint satisfaction
- product configuration
- constraint satisfaction problems
- configuration problems
- heuristic search
- constraint relaxation
- constraint propagation
- constraint programming
- probabilistic reasoning
- relaxation labeling
- robust fault detection
- constraint solving
- combinatorial problems
- forward checking
- sat solvers
- russian doll search
- constrained problems
- lower bound
- constraint networks
- constraint problems
- arc consistency
- industrial applications
- constraint optimization
- phase transition