Login / Signup
Don't care sequences and the optimization of interacting finite state machines.
June-Kyung Rho
Fabio Somenzi
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
</>
finite state machines
hidden markov models
model checking
optimization problems
finite state automata
neural network
global optimization
optimization methods
constrained optimization
information systems
optimization algorithm
health care
optimization process
long sequences