• Lin S, Wang T, Chen Y, Hou Z, Sanán D and Teo Y. (2024). A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. Tools and Algorithms for the Construction and Analysis of Systems. 10.1007/978-3-031-57249-4_18. (363-382).

    https://link.springer.com/10.1007/978-3-031-57249-4_18