@inproceedings{ijcai2017p712, author = {Yong Lai and Dayou Liu and Minghao Yin}, title = {New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {5010--5014}, year = {2017}, doi = {10.24963/ijcai.2017/712}, url = {https://doi.org/10.24963/ijcai.2017/712}, }