Exactly, he even mentioned that it's a variant of traditional optimization tool ...

		ggap 1 day ago \| parent \| context \| favorite \| on: Mathematical exploration and discovery at scale Exactly, he even mentioned that it's a variant of traditional optimization tool so it's not surprising to see cutting-plane methods and when the structure allows; benders decomposition