Assertion-based optimization of Quantum programs

Open Webpage

Thomas Häner, Torsten Hoefler, Matthias Troyer

Published: 2020, Last Modified: 21 Jan 2026Proc. ACM Program. Lang. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0