1. Planning for compilation of a quantum algorithm for graph coloring;do;ECAI 2020 – 24th Eur Conf on Artificial Intelligence,2020
2. Quantum circuit compilation: An emerging application for automated reasoning;venturelli;Proceedings of the 12th International Scheduling and Planning Applications Workshop (SPARK 2019),2019
3. A Hardware-Aware Heuristic for the Qubit Mapping Problem in the NISQ Era
4. Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices
5. Optimal layout synthesis for quantum circuits as classical planning (full version);shaik;CoRR,2023