@techreport{SteffyWolter2011, author = {Daniel Steffy and Kati Wolter}, title = {Valid Linear Programming Bounds for Exact Mixed-Integer Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {11-08}, language = {eng}, year = {2011} }