A Join-Based Hybrid Parameter for Constraint Satisfaction.
Robert GanianSebastian OrdyniakStefan SzeiderPublished in: CoRR (2019)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- constraint programming
- heuristic search
- relaxation labeling
- phase transition
- constraint relaxation
- probabilistic reasoning
- constraint solving
- constraint networks
- constrained problems
- constraint problems
- product configuration
- arc consistency
- robust fault detection
- machine learning
- russian doll search
- forward checking
- sat solvers
- linear programming
- bayesian networks