SDDs Are Exponentially More Succinct than OBDDs

Abstract

Full Citation:

Simone Bova. SDDs Are Exponentially More Succinct than OBDDs. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 929-935, 2016.