Navegação por Assunto "Quantified boolean formulas"
Resultados 1-1 de 1
-
Synthesis of boolean functions through binary decision diagrams
(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 ...