Towards Improving Merging Heuristics for Binary Decision Diagrams.

Nikolaus Frohner Günther R. Raidl

Published in: LION (2019)

Keyphrases

binary decision diagrams
variable ordering
boolean functions
symbolic model checking
data sets
expert systems
model checking
planning problems
data warehouse
data mining techniques
search strategies
branch and bound algorithm