A rewriting approach to binary decision diagrams.

Hans Zantema Jaco van de Pol

Published in: J. Log. Algebraic Methods Program. (2001)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
variable ordering
model checking
database
data sets
real world
multi dimensional
knowledge compilation
data mining algorithms
conjunctive queries