Implicit permutation enumeration networks and binary decision diagrams reordering.

Stergios Stergiou

Published in: DAC (2011)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
social networks
search space
variable ordering
machine learning
information retrieval
object oriented
database
databases
real world
dynamic programming
tree structure
network structure