On the Semantics of Concurrent Constraint Programming.
Frank S. de BoerCatuscia PalamidessiPublished in: ALPUK (1992)
Keyphrases
- constraint programming
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- integer programming
- global constraints
- search strategies
- constraint logic programming
- symmetry breaking
- column generation
- search heuristics
- itemset mining
- arc consistency
- constraint solving
- logic programming
- finite domain
- constraint solver
- constraint optimization
- constraint solvers
- constraint problems
- data mining
- np hard problems
- hard and soft constraints