Optimal ordered binary decision diagrams for read-once formulas.

Martin Sauerhoff Ingo Wegener Ralph Werchner

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

Keyphrases

read once formulas
ordered binary decision diagrams
multi agent
orders of magnitude
boolean functions
membership queries
database
objective function
optimal solution
database design
normal form
efficient learning
probabilistic databases