Exhaustive Search for Quantum Circuit Optimization using ZX Calculus

Tobias Fischbach, Pierre Talbot, Pascal Bouvry

Quantum computers allow a near-exponential speed-up for specific applications when compared to classical computers. Despite recent advances in the hardware of quantum computers, th…