publicações selecionadas livro Branch-and-bound reduction type method for semi-infinite programming 2011