Thomas Kelly, Aleks Kissinger. Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. In Robert Glück, Robin Kaarsgaard, editors, Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings. Volume 15716 of Lecture Notes in Computer Science, pages 102-118, Springer, 2025. [doi]
Abstract is missing.