Listar Tesinas Ciencia de la Computación por autor "Vardi, Moshe Y."
Mostrando ítems 1-1 de 1
-
Synthesis of boolean functions through binary decision diagrams
Tabajara, Lucas Martinelli (2015) [Tesinas de grado]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 ...