Now showing items 1-1 of 1

    • Solving non-linear Boolean equation systems by variable elimination 

      Greve, Bjørn Møller; Ytrehus, Øyvind; Raddum, Håvard; Fløystad, Gunnar (2019-08-17)
      In this paper we study Boolean equation systems, and how to eliminate variables from them while bounding the degree of polynomials produced. A procedure for variable elimination is introduced, and we relate the techniques ...