A First Attempt at Translating CSP into CCS.
Matthew HennessyWei LiGordon D. PlotkinPublished in: ICDCS (1981)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- tree decomposition
- np hard
- arc consistency
- constraint networks
- data sets
- neural network
- constraint graph
- database systems
- scheduling problem
- decomposition methods
- arc consistency algorithm
- constraint solving
- search space
- optimal solution
- data mining
- databases