Eliminating Variables in Boolean Equation Systems

Bjørn Møller Greve, Håvard Raddum, Gunnar Fløystad, Øyvind Ytrehus. Eliminating Variables in Boolean Equation Systems. IACR Cryptology ePrint Archive, 2017:1027, 2017. [doi]

Abstract

Abstract is missing.