@masterthesis{Wischlinsky, type = {Bachelor Thesis}, author = {William Wischlinsky}, title = {Feasibility-based bound tightening via linear programming}, language = {en} }