30 citations · 88 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
quant-ph2018★ 22 cited
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Me…
quant-ph2018★ 22 cited
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
Riling Li, Bujiao Wu, Mingsheng Ying +2
With the rapid progress made by industry and academia, quantum computers with dozens of qubits or even larger size are being realized. However, the fidelity of existing quantum com…