%0 Thesis
%T Uma abordagem de otimiza??o guiada por contraexemplos usando solucionadores SAT e SMT
%U https://tede.ufam.edu.br/handle/tede/7096
%I Universidade Federal do Amazonas