Carla Piazza, Riccardo Romanello. Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. In Marco Baioletti, Miguel Ángel González 0001, Angelo Oddi, Riccardo Rasconi, Ramiro Varela, editors, Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6 - November 9, 2023, Roma Tre University, Rome, Italy. Volume 3586 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.