37 citations · 71 across the 4 of their papers we have counts for
Showing 2012 · cs.DSShow all
2 papers · 2 filters
cs.DS2012
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Symmetries of combinatorial objects are known to complicate search algorithms, but such obstacles can often be removed by detecting symmetries early and discarding symmetric subpro…
cs.DS2012★ 1 cited
Conflict Anticipation in the Search for Graph Automorphisms
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Effective search for graph automorphisms allows identifying symmetries in many discrete structures, ranging from chemical molecules to microprocessor circuits. Using this type of s…