Login / Signup
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.
Shang-Wei Lin
Tzu-Fan Wang
Yean-Ru Chen
Zhe Hou
David Sanán
Yon Shin Teo
Published in:
TACAS (2) (2024)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
max sat
constraint satisfaction
sat problem
boolean satisfiability
propositional satisfiability
search space
sat instances
search tree
sat encodings
search strategies
information retrieval systems
randomly generated
constraint solver