Login / Signup

Reducing BDD Size by Exploiting Structural Connectivity.

Ronnie L. WrightMichael A. Shanblatt
Published in: Great Lakes Symposium on VLSI (1999)
Keyphrases
  • structural information
  • data mining
  • boolean functions
  • scales linearly
  • computer vision
  • knowledge base
  • multi agent systems
  • np complete
  • orders of magnitude
  • memory requirements
  • structural features