Haipeng Che

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Decision Diagrams

Top Venues

Publications

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