Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi. Knowledge Compilation Properties of Tree-of-BDDs. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 502-507, AAAI Press, 2007.
@inproceedings{SubbarayanBH07,
title = {Knowledge Compilation Properties of Tree-of-BDDs},
author = {Sathiamoorthy Subbarayan and Lucas Bordeaux and Youssef Hamadi},
year = {2007},
researchr = {https://researchr.org/publication/SubbarayanBH07},
cites = {0},
citedby = {0},
pages = {502-507},
booktitle = {Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada},
publisher = {AAAI Press},
isbn = {978-1-57735-323-2},
}