Carla Piazza, Riccardo Romanello, Robert Wille. An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.