TY  - RPRT
TI  - Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
AU  - Shang-Wei Lin
AU  - Ji-Qing Yan
AU  - Yean-Ru Chen
AU  - Zhe Hou
AU  - David Sanán
PY  - 2026
UR  - https://arxiv.org/abs/2604.18218
ID  - 2604.18218
ER  -