Login / Signup
Solving non-linear Boolean equation systems by variable elimination.
Bjørn Møller Greve
Øyvind Ytrehus
Håvard Raddum
Gunnar Fløystad
Published in:
Appl. Algebra Eng. Commun. Comput. (2021)
Keyphrases
</>
variable elimination
higher order
data model