Wei, Linfeng

1 publications

AAAI 2019 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