Unbounded Nondeterminism in CSP.
A. W. RoscoeGeoff BarrettPublished in: Mathematical Foundations of Programming Semantics (1989)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- constraint propagation
- decomposition methods
- situation calculus
- tree decomposition
- constraint networks
- np hard
- constraint programming
- partial constraint satisfaction
- tree decompositions
- np complete
- neural network
- constraint solving
- data sets
- computational complexity
- planning domains
- sat problem
- artificial intelligence
- information retrieval
- constraint graph
- arc consistency algorithm