Login / Signup
A new scheme to compute variable orders for binary decision diagrams.
Jawahar Jain
James R. Bitner
Dinos Moundanos
Jacob A. Abraham
Donald S. Fussell
Published in:
Great Lakes Symposium on VLSI (1994)
Keyphrases
</>
binary decision diagrams
variable ordering
symbolic model checking
database
knowledge base
objective function
boolean functions
boolean formula
artificial intelligence
search space
data model
branch and bound algorithm
knowledge compilation