@inproceedings{Bova16,
 author = {Simone Bova},
 booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
 pages = {929–935},
 title = {SDDs Are Exponentially More Succinct than OBDDs},
 year = {2016}
}