Automated Quantum Program Verification in Dynamic Quantum Logic.

Tsubasa Takagi Canh Minh Do Kazuhiro Ogata

Published in: DaLí (2023)

Keyphrases

quantum computation
logic circuits
quantum computing
logic synthesis
quantum mechanics
quantum inspired
dynamic environments
semi automated
modal logic
fully automated
probability ranking principle
real world
search engine
logic programming
quantum evolutionary algorithm