Correlation Heuristics for Constraint Programming.
Ruiwei WangWei XiaRoland H. C. YapPublished in: ICTAI (2017)
Keyphrases
- constraint programming
- search heuristics
- search strategies
- backtrack search
- combinatorial problems
- constraint propagation
- constraint satisfaction problems
- integer programming
- constraint solvers
- propositional satisfiability
- constraint satisfaction
- column generation
- global constraints
- constraint solving
- finite domain
- search algorithm
- constraint solver
- constraint optimization
- np hard problems
- constraint logic programming
- arc consistency
- heuristic search
- hard and soft constraints
- symmetry breaking
- itemset mining
- special case
- instruction scheduling
- constraint problems
- search procedures
- np complete
- genetic algorithm