Exact and Practical Pattern Matching for Quantum Circuit OptimizationRaban ItenRomain Moyardet al.2022ACM TQC