palavras-chave Branch-and-bound Mixed-integer nonlinear Outer-approximation mixed-integer nonlinear programs