publicações selecionadas An Augmented Lagrangian algorithm for nonlinear semidefinite programming applied to the covering problem