Space-efficient quantum solvers for Boolean satisfiability problems via structural reductionRemoveQuanfeng Lu, Shijie Wei, Jinfeng Zeng, Wentao Yang, Muxi Zheng, Peijie Chang, Dong Ruan, Zeguo Wang, and Guilu LongPhys. Rev. A 114, 042460 (2026)
