Login / Signup
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