Login / Signup
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation.
Shang-Wei Lin
Tzu-Fan Wang
Yean-Ru Chen
Zhe Hou
David Sanán
Yon Shin Teo
Published in:
CoRR (2023)
Keyphrases
</>
sat solvers
sat instances
sat solving
sat problem
max sat
genetic algorithm
heuristic search