@misc{indiciae1af81b1f41cf, title = {Conflict-Driven Heuristics for Mixed Integer Programming}, author = {Jakob Witzig and Ambros Gleixner}, year = {2019}, url = {https://arxiv.org/abs/1902.02615}, note = {Source identifier: 1902.02615} }