Detecting and Eliminating Local Symmetry During Search in CSPs.
Belaid BenhamouMohamed Réda SaïdiPublished in: IICAI (2007)
Keyphrases
- symmetry breaking
- search space
- search algorithm
- constraint satisfaction problems
- constraint programming
- search efficiency
- constraint satisfaction
- automatic detection
- search strategies
- digital libraries
- constraint propagation
- global constraints
- search problems
- search strategy
- integer linear programming
- lower bound
- distributed search
- forward checking