TY  - RPRT
TI  - Mixed-integer linear representability, disjunctions, and variable elimination
AU  - Amitabh Basu
AU  - Kipp Martin
AU  - Christopher Ryan
AU  - Guanyi Wang
PY  - 2016
UR  - https://arxiv.org/abs/1612.06693
ID  - 1612.06693
ER  -