Browsing by Author "Ytrehus, Øyvind"
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 ...