Switching logic synthesis for reachability.

Ankur Taly Ashish Tiwari

Published in: EMSOFT (2010)

Keyphrases

logic synthesis
heuristic search
multi valued
state space
quantum computing
inductive learning
logic circuits
database
dynamic programming