APA (7th ed.) Citation

Lin, S., Yan, J., Chen, Y., Hou, Z., & Sanán, D. (2026). Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking.

Chicago Style (17th ed.) Citation

Lin, Shang-Wei, Ji-Qing Yan, Yean-Ru Chen, Zhe Hou, and David Sanán. Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking. 2026.

MLA (9th ed.) Citation

Lin, Shang-Wei, et al. Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking. 2026.