Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions

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]

Authors

Xuanxiang Huang

This author has not been identified. Look up 'Xuanxiang Huang' in Google

Kehang Fang

This author has not been identified. Look up 'Kehang Fang' in Google

Liangda Fang

This author has not been identified. Look up 'Liangda Fang' in Google

Qingliang Chen

This author has not been identified. Look up 'Qingliang Chen' in Google

Zhao-Rong Lai

This author has not been identified. Look up 'Zhao-Rong Lai' in Google

Linfeng Wei

This author has not been identified. Look up 'Linfeng Wei' in Google