Browse by Journal and Volume
Up a levelNumber of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Zhang, Yedi and Zhao, Zhe and Chen, Guangke and Song, Fu and Chen, Taolue (2023) Precise quantitative analysis of binarized neural networks: a BDD-based approach. ACM Transactions on Software Engineering and Methodology 32 (3), 62:1-62:51. ISSN 1049-331X.
