2017Global optimization of disjunctive programsJournal of Global OptimizationGlobal optimizationDisjunctive programmingGeneralized disjunctive programmingBranch-and-bound