%0 Journal Article %1 journals/tcad/YinCLW22 %A Yin, Banghu %A Chen, Liqian %A Liu, Jiangchao %A Wang, Ji %D 2022 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 3898-3909 %T Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. %U http://dblp.uni-trier.de/db/journals/tcad/tcad41.html#YinCLW22 %V 41

@article{journals/tcad/YinCLW22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Yin, Banghu and Chen, Liqian and Liu, Jiangchao and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/21a606fc68faa51234374b751c06399d9/dblp}, ee = {https://doi.org/10.1109/TCAD.2022.3197534}, interhash = {39adede64454087d88847ac3b65f9fb7}, intrahash = {1a606fc68faa51234374b751c06399d9}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {3898-3909}, timestamp = {2024-04-08T19:46:05.000+0200}, title = {Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad41.html#YinCLW22}, volume = 41, year = 2022 }