Encapsulated Search for Higher-order Concurrent Constraint Programming.
Christian SchulteGert SmolkaPublished in: ILPS (1994)
Keyphrases
- constraint programming
- higher order
- search strategies
- symmetry breaking
- search heuristics
- constraint solver
- combinatorial problems
- constraint satisfaction problems
- backtrack search
- constraint satisfaction
- constraint propagation
- search algorithm
- global constraints
- integer programming
- constraint logic programming
- constraint optimization
- finite domain
- search strategy
- itemset mining
- search methods
- hard and soft constraints
- data mining
- np hard problems
- column generation
- arc consistency
- constraint problems
- special case
- combinatorial search
- linear constraints
- machine learning and data mining
- sat solvers