1. Rapid solution of logical equivalence problems by quantum computation algorithm;Zidan;Appl. Soft Comput.,2023
2. D. Venturelli, M. Do, B. O’Gorman, J. Frank, E. Rieffel, K.E. Booth, T. Nguyen, P. Narayan, S. Nanda, Quantum circuit compilation: An emerging application for automated reasoning, in: S. Bernardini, K. Talamadupula, N. Yorke-Smith (Eds.), Proceedings of the 12th International Scheduling and Planning Applications Workshop, SPARK 2019, 2019, pp. 95–103.
3. Quantum circuit compilation by genetic algorithm for quantum approximate optimization algorithm applied to maxcut problem;Arufe;Swarm Evol. Comput.,2022
4. L. Zhou, S.-T. Wang, S. Choi, H. Pichler, M.D. Lukin, Quantum approximate optimization algorithm: Performance, mechanism, and implementation on near-term devices, Phys. Rev. X 10 (2).
5. D. Venturelli, M. Do, E.G. Rieffel, J. Frank, Temporal planning for compilation of quantum approximate optimization circuits, in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, 2017, pp. 4440–4446.