Login / Signup

Solving non-linear Boolean equation systems by variable elimination.

Bjørn Møller GreveØyvind YtrehusHåvard RaddumGunnar Fløystad
Published in: Appl. Algebra Eng. Commun. Comput. (2021)
Keyphrases
  • variable elimination
  • higher order
  • data model