Controle dinâmico de Infactibilidade para Programação Não Linear