%0 Thesis
%T Um novo m?todo de otimiza??o baseado em teorias de satisfatibilidade
%U http://tede.ufam.edu.br/handle/tede/5715
%I Universidade Federal do Amazonas