BDD Normalisation.

Veronika Ortner Norbert Schirmer

Published in: Arch. Formal Proofs (2008)

Keyphrases

binary decision diagrams
boolean functions
artificial intelligence
databases
information retrieval
data streams
digital libraries
constraint satisfaction problems