TY - RPRT TI - Provably optimal exact gate synthesis from a discrete gate set AU - Élie Gouzien AU - Nicolas Sangouard PY - 2025 UR - https://arxiv.org/abs/2503.15452 ID - 2503.15452 ER -