Articles Solving non-linear Boolean equation systems by variable elimination
Greve, Bjørn Møller; Ytrehus, Øyvind; Raddum, Håvard; Fløystad, Gunnar. Solving non-linear Boolean equation systems by variable elimination. Applicable Algebra in Engineering, Communication and Computing 2019 s. 1-45