Multi-Armed Bandits for Adaptive Constraint Propagation.
Amine BalafrejChristian BessiereAnastasia PaparrizouPublished in: IJCAI (2015)
Keyphrases
- constraint propagation
- multi armed bandits
- constraint reasoning
- constraint satisfaction
- constraint programming
- constraint satisfaction problems
- constraint solving
- temporal constraints
- systematic search
- bandit problems
- quantifier elimination
- search space
- constraint solver
- backtracking algorithms
- constraint graph
- tree search
- arc consistency
- machine learning
- interval analysis
- multi armed bandit
- decision problems
- russian doll search