%0 Conference Paper %1 conf/tacas/LinWCHST24 %A Lin, Shang-Wei %A Wang, Tzu-Fan %A Chen, Yean-Ru %A Hou, Zhe %A Sanán, David %A Teo, Yon Shin %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 363-382 %T A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#LinWCHST24 %V 14571 %@ 978-3-031-57249-4

@inproceedings{conf/tacas/LinWCHST24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Lin, Shang-Wei and Wang, Tzu-Fan and Chen, Yean-Ru and Hou, Zhe and Sanán, David and Teo, Yon Shin}, biburl = {https://www.bibsonomy.org/bibtex/278a2469b89827a2531809112eafe2c85/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2024-2}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4_18}, interhash = {732c983a6aa2cbdb20af052efff46898}, intrahash = {78a2469b89827a2531809112eafe2c85}, isbn = {978-3-031-57249-4}, keywords = {dblp}, pages = {363-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:39.000+0200}, title = {A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#LinWCHST24}, volume = 14571, year = 2024 }