Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams

Open Webpage

Lukas Burgholzer, Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Robert Wille

Published: 2025, Last Modified: 25 Jan 2026ACM Trans. Quantum Comput. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0