área de pesquisa Mariana Luderitz Kolberg REDEFINIÇÃO DE EXPRESSÕES EXATAS EM C-XSC Uma Hibridização do Método de Monte Carlo com Técnicas Intervalares para o Problema de Localização Global
