S. Bova, “SDDs Are Exponentially More Succinct than OBDDs”, AAAI, vol. 30, no. 1, Feb. 2016.