Benders decomposition; lift-and-project; local branching; matheuristics