TY - RPRT TI - Exhaustive Search for Quantum Circuit Optimization using ZX Calculus AU - Tobias Fischbach AU - Pierre Talbot AU - Pascal Bouvry PY - 2025 UR - https://arxiv.org/abs/2503.10983 ID - 2503.10983 ER -