@article{bdd4bnnabddbasedquantitativeanalysis,
  title = {BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks},
  author = {Yedi Zhang and Zhe Zhao and Guangke Chen and Fu Song and Taolue Chen},
  year = {2021},
  eprint = {2103.07224},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2103.07224v1},
}