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