TY  - RPRT
TI  - Experiments with Conflict Analysis in Mixed Integer Programming
AU  - Jakob Witzig
AU  - Timo Berthold
AU  - Stefan Heinz
PY  - 2016
UR  - https://arxiv.org/abs/1611.07887
ID  - 1611.07887
ER  -