Symmetry Breaking with Polynomial Delay
Tim JanuschowskiBarbara M. SmithMarc R. C. van DongenPublished in: CoRR (2010)
Keyphrases
- symmetry breaking
- polynomial delay
- data complexity
- constraint programming
- graph mining
- event sequences
- search tree
- global constraints
- integer linear programming
- constraint satisfaction problems
- graph coloring
- expressive power
- sat solvers
- integer programming
- conjunctive queries
- query evaluation
- pattern mining
- constraint satisfaction
- database
- symmetry breaking constraints