Deterministic Massively Parallel Symmetry Breaking for Sparse Graphs.
Jeff GilibertiManuela FischerChristoph GrunauPublished in: CoRR (2023)
Keyphrases
- massively parallel
- symmetry breaking
- constraint programming
- fine grained
- parallel computing
- search tree
- global constraints
- constraint satisfaction problems
- integer linear programming
- symmetry breaking constraints
- data structure
- graph coloring
- parallel machines
- sat solvers
- combinatorial problems
- graph model
- constraint satisfaction
- genetic programming
- blue gene
- state space