Sign in

Prediction of area and length complexity measures for binary decision diagrams.

Azam BegP. W. Chandana Prasad
Published in: Expert Syst. Appl. (2010)
Keyphrases
  • complexity measures
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • lower bound
  • neural network
  • search algorithm
  • expert systems
  • artificial neural networks
  • loss function
  • heuristic search