Or maybe branch-and-bound? Useful but not that mathematical.