Navegação por Assunto "Read-polarity-once"

Resultados 1-2 de 2

    • A domain-transformation approach to synthesize read-polarity-once boolean functions 

      Callegaro, Vinicius; Martins, Mayler Gama Alvarenga; Ribas, Renato Perez; Reis, Andre Inacio (2014) [Artigo de periódico]
      Efficient exact factoring algorithms are limited to read-once (RO) functions, where each variable appears exactly once at the final Boolean expression. However, these algorithms present two important constraints: (1) they ...

    • Minimização ótima de classes especiais de funções booleanas 

      Callegaro, Vinicius (2016) [Tese]
      The problem of factoring and decomposing Boolean functions is Σ-complete𝑃2 for general functions. Efficient and exact algorithms can be created for an existing class of functions known as read-once, disjoint-support ...