Mixed Binary Integer Programming