@article{GleixnerBertholdMuelleretal.2017, author = {Ambros Gleixner and Timo Berthold and Benjamin M{\"u}ller and Stefan Weltge}, title = {Three Enhancements for Optimization-Based Bound Tightening}, journal = {Journal of Global Optimization}, volume = {67}, number = {4}, pages = {731 -- 757}, doi = {10.1007/s10898-016-0450-4}, year = {2017}, }