Keyphrases
- reducing the search space
- search algorithm
- search efficiency
- linear programming problems
- search space
- constraint programming
- solving constraint satisfaction problems
- constrained optimization
- global constraints
- constrained problems
- stochastic local search
- branch and bound search
- constraint solver
- constraint problems
- symmetry breaking
- integer program
- co occurrence
- digital libraries