Quantum Circuit Optimization — Circuit Equivalence Checking

Exploring the Development and Impact of the MQT QCEC Tool in Quantum Computing Research