Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams

Lukas Burgholzer, Antonio Jiménez-Pastor, Kim G. Larsen +3

Efficient methods for the simulation of quantum circuits on classic computers are crucial for their analysis due to the exponential growth of the problem size with the number of qu…