Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes.
Justin PearsonPublished in: AI&M (2004)
Keyphrases
- constraint satisfaction
- symmetry breaking
- graph isomorphism
- constraint programming
- constraint satisfaction problems
- sat solvers
- combinatorial problems
- global constraints
- arc consistency
- constraint propagation
- graph coloring
- graph mining
- heuristic search
- search tree
- phase transition
- np complete
- search space
- search strategies
- np hard
- search algorithm
- multi dimensional
- nearest neighbor
- max sat
- search heuristics
- association rules