Huang X, Fang K, Fang L, Chen Q, Lai Z-R, Wei L. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. AAAI [Internet]. 2019 Jul. 17 [cited 2026 Jul. 26];33(01):2867-75. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/4140