%0 Conference Paper %1 conf/dis/TangHT23 %A Tang, Yiping %A Hatano, Kohei %A Takimoto, Eiji %B DS %D 2023 %E Bifet, Albert %E Lorena, Ana Carolina %E Ribeiro, Rita P. %E Gama, João %E Abreu, Pedro H. %I Springer %K dblp %P 477-491 %T Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks. %U http://dblp.uni-trier.de/db/conf/dis/dis2023.html#TangHT23 %V 14276 %@ 978-3-031-45275-8

@inproceedings{conf/dis/TangHT23, added-at = {2023-10-27T00:00:00.000+0200}, author = {Tang, Yiping and Hatano, Kohei and Takimoto, Eiji}, biburl = {https://www.bibsonomy.org/bibtex/28146adb89699b9f41117ecfac6786e28/dblp}, booktitle = {DS}, crossref = {conf/dis/2023}, editor = {Bifet, Albert and Lorena, Ana Carolina and Ribeiro, Rita P. and Gama, João and Abreu, Pedro H.}, ee = {https://doi.org/10.1007/978-3-031-45275-8_32}, interhash = {6528011113022e09d6c20146667bb096}, intrahash = {8146adb89699b9f41117ecfac6786e28}, isbn = {978-3-031-45275-8}, keywords = {dblp}, pages = {477-491}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:44:23.000+0200}, title = {Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/dis/dis2023.html#TangHT23}, volume = 14276, year = 2023 }