Boolsk algebra
1 result
  • Articles Solving non-linear Boolean equation systems by variable elimination

    Greve, Bjørn Møller, Ytrehus, Øyvind, Raddum, Håvard, Fløystad, Gunnar

    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