New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).

Yong Lai Dayou Liu Minghao Yin

Published in: IJCAI (2017)

Keyphrases

extended abstract
invariant representations
canonical form
database
temporal logic
decomposition method
decomposition methods
machine learning
genetic algorithm
wavelet packet
multiple representations
data sets
real world
expert systems
ordered binary decision diagrams