Assertion: cut | /r/HasProperty | maximized
Facets:
Source sentences:
text: 1 // ILP branch and cut solution pseudocode, assuming objective is to be maximized 2 ILP_solution branch_and_cut_ILP ( IntegerLinearProgram initial_problem ) { 3 queue active_list ; // L, above 4 active_list .