Sign in

Fast and efficient construction of BDDs by reordering based synthesis.

Andreas HettRolf DrechslerBernd Becker
Published in: ED&TC (1997)
Keyphrases
  • computer vision
  • data sets
  • database
  • real world
  • information retrieval
  • decision trees
  • artificial neural networks
  • heuristic search
  • cost effective
  • computationally expensive
  • program synthesis