Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

Chen, Tian-FuTian-FuChenChen, Yu-FangYu-FangChenJIE-HONG JIANGJobranová, SáraSáraJobranováLengál, OndřejOndřejLengál2025-06-162025-06-162024-10-27[9798400710773]10923152https://www.scopus.com/record/display.uri?eid=2-s2.0-105003628634&origin=resultslisthttps://scholars.lib.ntu.edu.tw/handle/123456789/730023falseAccelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarizationconference paper10.1145/3676536.36767112-s2.0-105003628634