Parallel Symmetry-Breaking in Sparse Graphs
Andrew V. GoldbergSerge A. PlotkinGregory E. ShannonPublished in: STOC (1987)
Keyphrases
- symmetry breaking
- constraint programming
- boolean satisfiability
- global constraints
- search tree
- quantified boolean formulae
- integer linear programming
- constraint satisfaction problems
- high dimensional
- sat solvers
- knn
- heuristic search
- weighted graph
- symmetry breaking constraints
- boolean optimization
- graph coloring
- graph model
- optimal solution
- knowledge representation
- data structure