SDDs Are Exponentially More Succinct than OBDDs

Simone Bova. SDDs Are Exponentially More Succinct than OBDDs. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 929-935, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.