Dynamic Spaces in Concurrent Constraint Programming.
Carlos OlarteVivek NigamElaine PimentelPublished in: LSFA (2013)
Keyphrases
- constraint programming
- topological spaces
- combinatorial problems
- equivalence relation
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- approximation spaces
- global constraints
- symmetry breaking
- arc consistency
- search strategies
- search heuristics
- finite domain
- constraint optimization
- hard and soft constraints
- np hard problems
- constraint solver
- constraint logic programming
- constraint solving
- topological features
- itemset mining
- random walk
- constraint solvers
- rough sets
- search algorithm