On Optimizing Back-Substitution Methods for Neural Network Verification

Published in Formal Methods in Computer-Aided Design (FMCAD'22), 2022