TY  - RPRT
TI  - Strong mixed-integer programming formulations for trained neural networks
AU  - Ross Anderson
AU  - Joey Huchette
AU  - Christian Tjandraatmadja
AU  - Juan Pablo Vielma
PY  - 2019
UR  - https://arxiv.org/abs/1811.08359
ID  - 1811.08359
ER  -