695 citations · 2.6k across the 40 of their papers we have counts for
3 papers · 1 filter
Simulation of Quantum Circuits via Stabilizer Frames
Héctor J. García, Igor L. Markov
Generic quantum-circuit simulation appears intractable for conventional computers and may be unnecessary because useful quantum circuits exhibit significant structure that can be e…
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…
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…