Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman. Automated Reasoning in Quantum Circuit Compilation. In Thomas Neele, Anton Wijs, editors, Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Volume 14624 of Lecture Notes in Computer Science, pages 106-134, Springer, 2024. [doi]
Abstract is missing.