A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo

Browse the full TACAS paper archive.