Experiments in Translating CSP || B to Handel-C.
Steve A. SchneiderHelen TreharneAlistair McEwanWilson IfillPublished in: CPA (2008)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- constraint programming
- constraint propagation
- tree decomposition
- tree decompositions
- closest string
- arc consistency
- partial constraint satisfaction
- solving constraint satisfaction problems
- np hard
- search space
- machine learning
- constraint solving
- learning algorithm
- information retrieval
- hypertree decomposition
- databases
- database