Browsing by Author "Oberderfer Júnior, Réges Eduardo"
Now showing items 1-2 of 2
-
Deep learning for boolean matching
Oberderfer Júnior, Réges Eduardo (2018) [Work completion of graduation]Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de ... -
Método de Equivalência P Baseado em Grafo de Mintermos e Variáveis
Oberderfer Júnior, Réges Eduardo (2014) [Abstract published in event]