Perturbing Branching Heuristics in Constraint Solving.
Anastasia PaparrizouHugues WattezPublished in: CP (2020)
Keyphrases
- constraint solving
- constraint solvers
- constraint satisfaction problems
- constraint propagation
- variable ordering heuristics
- constraint logic programming
- constraint satisfaction
- constraint solver
- constraint programming
- branch and bound
- heuristic search
- search algorithm
- tree search
- search strategies
- variable ordering
- search tree
- objective function
- np hard
- search space
- data structure