Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks - Fabian Badilla; Marcos Goycoolea; Gonzalo Muñoz; Thiago Serra (2023)