Binary Decision Diagrams and neural networks.

P. W. Chandana Prasad Ali Assi Azam Beg

Published in: J. Supercomput. (2007)

Keyphrases

binary decision diagrams
neural network
boolean functions
symbolic model checking
variable ordering
artificial neural networks
model checking
back propagation
information retrieval
machine learning
general purpose