BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural NetworksZhang · arXiv2021PDF
BDD Minimization Using SymmetriesScholl · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems1999PDF872 KB