Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. - Xuanxiang Huang; Haipeng Che; Liangda Fang; Qingliang Chen; Quanlong Guan; Yuhui Deng; Kaile Su (ICCAD, 2020)