@Article{ VERDEGAY,

author = { JOSE LUIS VERDEGAY GALDEANO } ,

title = { MR4299180: A. Rossig and M. Petkovic: Advances in verification of ReLU neural networks. Journal of Global Optimization 81, 1, 109-152 (2021) },

journal = { Mathematical Reviews },

year = { 2021 },

pages = { - },

}