Outros Autores: “...http://lattes.cnpq.br/3090810159736491...”

Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade