Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. pages 2867-2875, AAAI Press, 2019. [doi]
@inproceedings{HuangFFCLW19, title = {Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions}, author = {Xuanxiang Huang and Kehang Fang and Liangda Fang and Qingliang Chen and Zhao-Rong Lai and Linfeng Wei}, year = {2019}, url = {https://aaai.org/ojs/index.php/AAAI/article/view/4140}, researchr = {https://researchr.org/publication/HuangFFCLW19}, cites = {0}, citedby = {0}, pages = {2867-2875}, booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019}, publisher = {AAAI Press}, isbn = {978-1-57735-809-1}, }