SDDs Are Exponentially More Succinct than OBDDs.

Published in: AAAI (2016)

Keyphrases

scalable distributed
scalable distributed data structure
boolean functions
ordered binary decision diagrams
model checking
file system
temporal logic
grow exponentially
high availability
multi dimensional
weighted moving average