2 papers
quant-ph2021
Approximate Equivalence Checking of Noisy Quantum Circuits
Xin Hong, Mingsheng Ying, Yuan Feng +2
We study the fundamental design automation problem of equivalence checking in the NISQ (Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present inevitably.…
quant-ph2019
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
Quantum algorithm design usually assumes access to a perfect quantum computer with ideal properties like full connectivity, noise-freedom and arbitrarily long coherence time. In No…