Kouvaros, P., Brückner, B., Henriksen, P. and Lomuscio, A. (2025) “Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(26), pp. 27383-27391. doi: 10.1609/aaai.v39i26.34949.