Login / Signup
Algorithms for approximate FSM traversal based on state space decomposition.
Hyunwoo Cho
Gary D. Hachtel
Enrico Macii
Bernard Plessier
Fabio Somenzi
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1996)
Keyphrases
</>
state space
learning algorithm
data structure
orders of magnitude
recently developed
neural network
worst case
combinatorial optimization
approximate solutions
computational complexity
significant improvement
optimization problems
computationally efficient
decomposition algorithm