Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}