Binary Decision Diagrams for Affine Approximation

Kevin Henshall Peter Schachte Harald Søndergaard Leigh Whiting

Published in: CoRR (2008)

Keyphrases

binary decision diagrams
boolean functions
variable ordering
symbolic model checking
planning problems
model checking
affine transformation
machine learning
knowledge base
knowledge acquisition