Login / Signup
An Algorithm for Affine Approximation of Binary Decision Diagrams.
Kevin Henshall
Peter Schachte
Harald Søndergaard
Leigh Whiting
Published in:
Chic. J. Theor. Comput. Sci. (2010)
Keyphrases
</>
learning algorithm
binary decision diagrams
dynamic programming
preprocessing
optimal solution
search space
database
objective function
data structure
lower bound