126 citations · 1.4k across the 81 of their papers we have counts for
4 papers · 1 filter
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Sanjiang Li, Ky Dan Nguyen, Zachary Clare +1
Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical step in quantum circuit compilation. Typically, QCT is achieved by finding an appropriate initial mapping a…
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
Verification of Nondeterministic Quantum Programs
Yuan Feng, Yingte Xu
Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the details of possible implementations. It supp…
Benchmarking Quantum Circuit Transformation with QKNOB Circuits
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
Current superconducting quantum devices impose strict connectivity constraints on quantum circuit execution, necessitating circuit transformation before executing quantum circuits…