1. Quantum circuit compilation: an emerging application for automated reasoning;Venturelli,2019
2. A functional architecture for scalable quantum computing;Sete,2016
3. Temporal planning for compilation of quantum approximate optimization circuits;Venturelli,2017
4. Greedy randomized search for scalable compilation of quantum circuits;Oddi,2018
5. An innovative genetic algorithm for the quantum circuit compilation problem;Rasconi,2019