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 (AAAI, 2019)