Huang, X., Che, H., Fang, L., Chen, Q., Guan, Q., Deng, Y., & Su, K. (2020, November 2). Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 1-9. https://doi.org/10.1145/3400302.3415618
Chicago Style (17th ed.) CitationHuang, Xuanxiang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, and Kaile Su. "Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design 2 Nov. 2020: 1-9. https://doi.org/10.1145/3400302.3415618.
MLA (9th ed.) CitationHuang, Xuanxiang, et al. "Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams." Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design, 2 Nov. 2020, pp. 1-9, https://doi.org/10.1145/3400302.3415618.