Browsing Computer Science - Undergraduate degree by Author "Tabajara, Lucas Martinelli"

Now showing items 1-1 of 1

    • Synthesis of boolean functions through binary decision diagrams 

      Tabajara, Lucas Martinelli (2015) [Work completion of graduation]
      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 ...