%0 Conference Paper %1 conf/ecai/GuidottiLPT20 %A Guidotti, Dario %A Leofante, Francesco %A Pulina, Luca %A Tacchella, Armando %B ECAI %D 2020 %E Giacomo, Giuseppe De %E Catalá, Alejandro %E Dilkina, Bistra %E Milano, Michela %E Barro, Senén %E Bugarín, Alberto %E Lang, Jérôme %I IOS Press %K dblp %P 2505-2512 %T Verification of Neural Networks: Enhancing Scalability Through Pruning. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#GuidottiLPT20 %V 325 %@ 978-1-64368-101-6

@inproceedings{conf/ecai/GuidottiLPT20, added-at = {2023-08-19T00:00:00.000+0200}, author = {Guidotti, Dario and Leofante, Francesco and Pulina, Luca and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2149a0897f066d2e8c927608d8edd497a/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2020}, editor = {Giacomo, Giuseppe De and Catalá, Alejandro and Dilkina, Bistra and Milano, Michela and Barro, Senén and Bugarín, Alberto and Lang, Jérôme}, ee = {https://doi.org/10.3233/FAIA200384}, interhash = {9e0d086352087dd4db1c32bd42cbcc24}, intrahash = {149a0897f066d2e8c927608d8edd497a}, isbn = {978-1-64368-101-6}, keywords = {dblp}, pages = {2505-2512}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:29.000+0200}, title = {Verification of Neural Networks: Enhancing Scalability Through Pruning.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#GuidottiLPT20}, volume = 325, year = 2020 }