Beatrice Casey, Joanna C. S. Santos, Andrew Hennessee. Quantum-Based SMT Solving for String Theory. In Robert W. Wisniewski, Ivona Brandic, editors, Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2025, University of Notre Dame Conference Facilities, Notre Dame, IN, USA, July 20-23, 2025. ACM, 2025. [doi]
Abstract is missing.