16 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that…