Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation.

Shin-ichi Minato

Published in: ISMVL (2016)

Keyphrases

binary decision diagrams
power consumption
tree structure

real world
structural information
neural network

artificial intelligence
data structure
search space

boolean functions
structural properties