Integration of Declarative and Constraint Programming
Petra HofstedtPeter PepperPublished in: CoRR (2005)
Keyphrases
- constraint programming
- pattern set mining
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- column generation
- integer programming
- finite domain
- search strategies
- global constraints
- constraint logic programming
- constraint solver
- np hard problems
- arc consistency
- hard and soft constraints
- propositional satisfiability
- constraint optimization
- knowledge representation
- constraint based pattern mining
- search heuristics
- symmetry breaking
- backtrack search
- constraint solving
- itemset mining