Technical Note - On Mitten's Axioms for Branch-and-Bound

The axiomatic characterization of branch-and-bound methods proposed by L. G. Mitten contains a number of inaccuracies. We develop a closely related, revised system of axioms that allows the deduction of a number of attractive properties.