![](/img/cover-not-exists.png)
Solving non-linear Boolean equation systems by variable elimination
Greve, Bjørn, Ytrehus, Øyvind, Raddum, Håvard, Fløystad, GunnarLanguage:
english
Journal:
Applicable Algebra in Engineering, Communication and Computing
DOI:
10.1007/s00200-019-00399-7
Date:
August, 2019
File:
PDF, 876 KB
english, 2019