Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams

Ludwig Griebl Johann Schuster

Published in: CoRR (2013)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
databases
material handling
expert systems
model checking
variable ordering
machine learning
reinforcement learning
query processing
heuristic search
planning problems