@techreport{GleixnerBertholdMuelleretal.2016, author = {Ambros Gleixner and Timo Berthold and Benjamin M{\"u}ller and Stefan Weltge}, title = {Three Enhancements for Optimization-Based Bound Tightening}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {15-16}, language = {eng}, year = {2016} }