Boolean Affine Approximation with Binary Decision Diagrams.

Kevin Henshall Peter Schachte Harald Søndergaard Leigh Whiting

Published in: CATS (2009)

Keyphrases

binary decision diagrams
boolean functions
boolean formula
symbolic model checking
real valued
model checking
variable ordering
knowledge compilation
databases
search algorithm
relational databases
information extraction
planning problems
membership queries