Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams.

Bill Lin A. Richard Newton

Published in: ICCD (1991)

Keyphrases

equivalence classes
binary decision diagrams
equivalence class
boolean functions
symbolic model checking
bayesian network structures
model checking
variable ordering
planning problems
knowledge compilation
database
data mining
multi dimensional
random walk
association rule mining
directed acyclic graph