Bova, S. SDDs Are Exponentially More Succinct Than OBDDs. AAAI 2016, 30.