TY - RPRT TI - Exact Quantum Circuit Optimization is co-NQP-hard AU - Adam Husted Kjelstrøm AU - Andreas Pavlogiannis AU - Jaco van de Pol PY - 2026 UR - https://arxiv.org/abs/2510.16420 ID - 2510.16420 ER -