Partitioning procedures for solving mixed-variables programming problems. J.F. BENDERS Numerische Mathematik