Daniel E. Steffy, Kati Wolter: Valid Linear Programming Bounds for Exact Mixed-Integer Programming. INFORMS J. Comput. 25(2): 271-284 (2013)