TY  - RPRT
TI  - Partition-based formulations for mixed-integer optimization of trained ReLU neural networks
AU  - Calvin Tsay
AU  - Jan Kronqvist
AU  - Alexander Thebelt
AU  - Ruth Misener
PY  - 2021
UR  - https://arxiv.org/abs/2102.04373
ID  - 2102.04373
ER  -