Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks - Tsay, Calvin; Kronqvist, Jan; Thebelt, Alexander; Misener, Ruth (Advances in Neural Information Processing Systems, 2021)