OPTIMIST: state minimization for optimal 2-level logic implementation.

Robert M. Fuhrer Steven M. Nowick

Published in: ICCAD (1997)

Keyphrases

levels of abstraction
dynamic programming
efficient implementation
real time
image processing
objective function
worst case
data sets
neural network
information systems
logic programming
modal logic
optimal strategy
computational properties
state dependent