New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.
Yong LaiDayou LiuMinghao YinPublished in: J. Artif. Intell. Res. (2017)
Keyphrases
- invariant representations
- model checking
- canonical form
- representation scheme
- neural network
- decomposition methods
- decomposition method
- symbolic representation
- boolean functions
- distributed representations
- machine learning
- wavelet packet
- genetic algorithm
- data sets
- closely related
- higher level
- multiscale
- face recognition
- feature selection
- social networks