Equivalence checking of quantum circuits

Project Member(s): Li, S., Ying, M.

Funding or Partner Organisation: Sydney Quantum Academy
Sydney Quantum Academy

Start year: 2020

Publications:

Hong, X, Feng, Y, Li, S & Ying, M 1970, 'Equivalence Checking of Dynamic Quantum Circuits', Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD '22: IEEE/ACM International Conference on Computer-Aided Design, ACM, pp. 1-8.
View/Download from: Publisher's site

FOR Codes: Quantum Information, Computation and Communication, Computational Logic and Formal Languages, Expanding Knowledge in the Information and Computing Sciences, Quantum information, computation and communication

Acknowledgement of Country

UTS acknowledges the Gadigal people of the Eora Nation, the Boorooberongal people of the Dharug Nation, the Bidiagal people and the Gamaygal people, upon whose ancestral lands our university stands. We would also like to pay respect to the Elders both past and present, acknowledging them as the traditional custodians of knowledge for these lands.