TY  - RPRT
TI  - Toward computer-assisted discovery and automated proofs of cutting plane theorems
AU  - Matthias Köppe
AU  - Yuan Zhou
PY  - 2016
DO  - 10.1007/978-3-319-45587-7_29
UR  - https://arxiv.org/abs/1604.03649
ID  - 1604.03649
ER  -