A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.
Alessandra Di PierroHerbert WiklickyPublished in: CATS (1998)
Keyphrases
- constraint programming
- banach space
- constraint satisfaction problems
- combinatorial problems
- constraint satisfaction
- constraint propagation
- finite domain
- column generation
- hilbert space
- global constraints
- constraint logic programming
- constraint solving
- logic programming
- metric space
- hard and soft constraints
- symmetry breaking
- default reasoning
- state space
- lower bound
- computational complexity
- objective function