Constraint Satisfaction in Coordinating Components Interfaces.
Pavel ZaichenkovOlga TveretinaAlex ShafarenkoPublished in: CoRR (2015)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- phase transition
- probabilistic reasoning
- heuristic search
- product configuration
- russian doll search
- constraint programming
- constraint relaxation
- robust fault detection
- relaxation labeling
- soft constraints
- user interface
- constraint networks
- combinatorial problems
- arc consistency
- constraint propagation
- constraint solving
- search strategies
- simulated annealing
- sat solvers
- constrained problems
- forward checking
- cost function