%0 Conference Paper %1 conf/cpaior/ZhaoHJMTH24 %A Zhao, Haoruo %A Hijazi, Hassan L. %A Jones, Haydn %A Moore, Juston %A Tanneau, Mathieu %A Hentenryck, Pascal Van %B CPAIOR (2) %D 2024 %E Dilkina, Bistra %I Springer %K dblp %P 289-303 %T Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2024-2.html#ZhaoHJMTH24 %V 14743 %@ 978-3-031-60599-4

@inproceedings{conf/cpaior/ZhaoHJMTH24, added-at = {2024-06-04T00:00:00.000+0200}, author = {Zhao, Haoruo and Hijazi, Hassan L. and Jones, Haydn and Moore, Juston and Tanneau, Mathieu and Hentenryck, Pascal Van}, biburl = {https://www.bibsonomy.org/bibtex/2239749a2e444e4d4788829670613e823/dblp}, booktitle = {CPAIOR (2)}, crossref = {conf/cpaior/2024-2}, editor = {Dilkina, Bistra}, ee = {https://doi.org/10.1007/978-3-031-60599-4_20}, interhash = {e160337f9246035739c06000554da5c1}, intrahash = {239749a2e444e4d4788829670613e823}, isbn = {978-3-031-60599-4}, keywords = {dblp}, pages = {289-303}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-10T07:14:27.000+0200}, title = {Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2024-2.html#ZhaoHJMTH24}, volume = 14743, year = 2024 }