On the Computational Power of Binary Decision Diagram with Redundant Variables.

Tetsuya Yamada Hiroto Yasuura

Published in: Formal Methods Syst. Des. (1996)

Keyphrases

communication technologies
computational power
binary decision diagrams
parallel processing
boolean formula
computing power
memory requirements
boolean functions
pseudo boolean constraints
hardware architectures
database
search space
model checking
everyday objects