SDDs are Exponentially More Succinct than OBDDs.

Published in: CoRR (2016)

Keyphrases

scalable distributed
scalable distributed data structure
boolean functions
ordered binary decision diagrams
high availability
file system
temporal logic
grow exponentially