SDDs Are Exponentially More Succinct than OBDDs.

Simone Bova

Browse the full AAAI paper archive.