A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms.

Petr Fiser David Toman

Published in: DSD (2009)

Keyphrases

life cycle
sufficient conditions
real time
neural network
image processing
cost function
co occurrence
model checking
automated reasoning
classical logic