Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su. Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020. pages 1-9, IEEE, 2020. [doi]
@inproceedings{HuangCFCGDS20,
title = {Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams},
author = {Xuanxiang Huang and Haipeng Che and Liangda Fang and Qingliang Chen and Quanlong Guan and Yuhui Deng and Kaile Su},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9256452},
researchr = {https://researchr.org/publication/HuangCFCGDS20},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020},
publisher = {IEEE},
}