• 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 ...