Some notes on the abstraction operation for multi-terminal binary decision diagrams.

Ludwig Griebl Johann Schuster

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
planning problems
variable ordering
material handling
data sets
machine learning
model checking
databases
artificial intelligence
database systems
data streams
general purpose