Hardness of identifying the minimum ordered binary decision diagram.

Yasuhiko Takenaga Shuzo Yajima

Published in: Discret. Appl. Math. (2000)

Keyphrases

binary decision diagrams
np complete
model checking
boolean functions
pseudo boolean constraints
phase transition
boolean formula
database
np hard
knowledge compilation