Quantum logic synthesis by symbolic reachability analysis.

William N. N. Hung Xiaoyu Song Guowu Yang Jin Yang Marek A. Perkowski

Published in: DAC (2004)

Keyphrases

logic synthesis
reachability analysis
quantum computing
model checking
markov decision processes
logic circuits
timed automata
multi valued
heuristic search
incremental algorithms
state space
inductive learning
quantum mechanics
reinforcement learning
knowledge representation
temporal constraints