@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 = { - },
}