Jingwen Chen, Qun Liu 0006, Yanhong Fan, Lixuan Wu, Boyun Li, Meiqin Wang. New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation. IACR Cryptology ePrint Archive, 2024:620, 2024. [doi]
Abstract is missing.