TY - RPRT TI - Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits AU - Jérome Ricciardi AU - Sébastien Bardin AU - Christophe Chareton AU - Benoît Valiron PY - 2025 UR - https://arxiv.org/abs/2511.22523 ID - 2511.22523 ER -