Concurrent constraint programming: towards probabilistic abstract interpretation.
Alessandra Di PierroHerbert WiklickyPublished in: PPDP (2000)
Keyphrases
- constraint programming
- abstract interpretation
- combinatorial problems
- termination analysis
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- search strategies
- static analysis
- hard and soft constraints
- active rules
- global constraints
- constraint solver
- arc consistency
- finite domain
- model checking
- constraint solving
- symmetry breaking
- reasoning engine
- search space
- lower bound
- database