Lukas Schmidbauer, Wolfgang Mauerer. SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains. In Rong N. Chang, Carl K. Chang, Jingwei Yang, Nimanthi Atukorala, Dan Chen, Sumi Helal, Sasu Tarkoma, Qiang He 0001, Tevfik Kosar, Claudio Ardagna, Sebastian Feld, Elisabetta Di Nitto, Manuel Wimmer, editors, IEEE International Conference on Quantum Software, QSW 2025, Helsinki, Finland, July 7-12, 2025. pages 1-12, IEEE, 2025. [doi]
Abstract is missing.