Login / Signup

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

Shang-Wei LinTzu-Fan WangYean-Ru ChenZhe HouDavid SanánYon Shin Teo
Published in: CoRR (2023)
Keyphrases
  • sat solvers
  • sat instances
  • sat solving
  • sat problem
  • max sat
  • genetic algorithm
  • heuristic search