Is simulation the only alternative for effective verification of dynamic quantum circuits?

DOI10.1007/978-3-031-62076-8_13MaRDI QIDQ6637599

K. Datta, Rolf Drechsler, Liam Hurwitz, Abhoy Kole

Publication date: 13 November 2024

zbMATH Keywords

verificationequivalence checkingquantum simulationQMDDZX-calculusdynamic quantum circuit

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cites Work

• Title not available (Why is that?)
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Quantum Computation and Quantum Information
• Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
• Interacting Quantum Observables
• Rapid solution of problems by quantum computation

This page was built for publication: Is simulation the only alternative for effective verification of dynamic quantum circuits?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637599)