%0 Conference Paper %1 conf/iclr/FerrariMJV22 %A Ferrari, Claudio %A Müller, Mark Niklas %A Jovanovic, Nikola %A Vechev, Martin T. %B ICLR %D 2022 %I OpenReview.net %K dblp %T Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2022.html#FerrariMJV22

@inproceedings{conf/iclr/FerrariMJV22, added-at = {2022-10-12T00:00:00.000+0200}, author = {Ferrari, Claudio and Müller, Mark Niklas and Jovanovic, Nikola and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/283acb27046d1ef81e53a3fae5f745d79/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2022}, ee = {https://openreview.net/forum?id=l_amHf1oaK}, interhash = {8ad5e71797acc43600bc8fb0110fa6ee}, intrahash = {83acb27046d1ef81e53a3fae5f745d79}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2024-04-10T01:22:32.000+0200}, title = {Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2022.html#FerrariMJV22}, year = 2022 }