Polyhedral combinatorics, branch-and-bound, branch-and-cut Mathematical programming mathematics