Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem.
Wen-Yang KuJ. Christopher BeckPublished in: CPAIOR (2015)
Keyphrases
- constraint propagation
- search space
- tree search
- constraint reasoning
- systematic search
- constraint solver
- constraint satisfaction problems
- constraint programming
- limited discrepancy search
- temporal constraints
- search algorithm
- constraint solving
- path consistency
- constraint satisfaction
- interval arithmetic
- arc consistency
- quantifier elimination
- exact solution
- finite domain
- knapsack problem
- backtracking algorithms
- search methods
- russian doll search