1. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., et al.: TensorFlow: a system for large-scale machine learning. In: 12th $$\{$$USENIX$$\}$$ Symposium on Operating Systems Design and Implementation ($$\{$$OSDI$$\}$$ 16), 265–283 (2016)
2. Aithal, SM., Balaprakash, P.: MaLTESE: Large-scale simulation-driven machine learning for transient driving cycles. In: High Performance Computing, 186–205. Springer, Cham (2019)
3. Anderson, R., Huchette, J., Tjandraatmadja, C., Vielma, JP.: Strong mixed-integer programming formulations for trained neural networks. In: International Conference on Integer Programming and Combinatorial Optimization, 27–42 (2019)
4. Baumrucker, B., Renfro, J., Biegler, L.: Mpec problem formulations and solution strategies with chemical engineering applications. Comput. Chem. Eng. 32(12), 2903–2913 (2008)
5. Belotti, P.: Couenne: A user’s manual. Technical report, FICO (2020)