Efficient breadth-first manipulation of binary decision diagrams.

Pranav Ashar Matthew Cheong

Published in: ICCAD (1994)

Keyphrases

binary decision diagrams
databases
memory efficient
artificial intelligence
small number
database applications
database design
boolean functions
variable ordering