%0 Conference Paper %1 conf/ijcai/BattenKLZ21 %A Batten, Ben %A Kouvaros, Panagiotis %A Lomuscio, Alessio %A Zheng, Yang %B IJCAI %D 2021 %E Zhou, Zhi-Hua %I ijcai.org %K dblp %P 2184-2190 %T Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#BattenKLZ21

@inproceedings{conf/ijcai/BattenKLZ21, added-at = {2023-08-28T00:00:00.000+0200}, author = {Batten, Ben and Kouvaros, Panagiotis and Lomuscio, Alessio and Zheng, Yang}, biburl = {https://www.bibsonomy.org/bibtex/25900c458749d72f86be21ec38b054ee5/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2021}, editor = {Zhou, Zhi-Hua}, ee = {https://www.wikidata.org/entity/Q120721235}, interhash = {2f40d8f95307fabc7b3e8b510d2ace94}, intrahash = {5900c458749d72f86be21ec38b054ee5}, keywords = {dblp}, pages = {2184-2190}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:17.000+0200}, title = {Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#BattenKLZ21}, year = 2021 }