Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.

Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei

Browse the full AAAI paper archive.