A Quantum SMT Solver for Bit-Vector Theory.

Shang-Wei Lin Si-Han Chen Tzu-Fan Wang Yean-Ru Chen

Published in: CoRR (2023)

Keyphrases

bit vector
quantum computing
quantum mechanics
theoretical framework
probability ranking principle
computational model
databases
theoretical basis
real world
information systems
co occurrence
information theory
decision theory
general theory
quantum evolutionary algorithm