@article{BertholdHendelKoch2017, author = {Timo Berthold and Gregor Hendel and Thorsten Koch}, title = {From feasibility to improvement to proof: three phases of solving mixed-integer programs}, journal = {Optimization Methods and Software}, volume = {33}, number = {3}, pages = {499 -- 517}, doi = {10.1080/10556788.2017.1392519}, year = {2017}, }