Navegação TCC Ciência da Computação por Autor "Tabajara, Lucas Martinelli"
Resultados 1-1 de 1
-
Synthesis of boolean functions through binary decision diagrams
Tabajara, Lucas Martinelli (2015) [Trabalho de conclusão de graduação]Boolean functions are an integral component of computer science, from combinational circuits to satisfiability problems. However, although several problems can be encoded as Boolean formulas, often the most intuitive ...