Approximate Bisimulation and Discretization of Hybrid CSP.
Gaogao YanLi JiaoYangjia LiShuling WangNaijun ZhanPublished in: FM (2016)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- arc consistency
- iterative refinement
- preprocessing
- solving constraint satisfaction problems
- database
- hybrid approaches
- tree decomposition
- constraint solving
- decomposition methods
- hybrid learning
- np hard
- search space
- learning algorithm
- machine learning
- data sets