Trial lecture: Kolmogorov complexity and cryptography

05.05.2023
, 2:00 pm

Solving non-linear Boolean equation systems by variable elimination

Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum, and Gunnar Fløysand. “Solving non-linear Boolean equation systems by variable elimination.” Appl. Algebra Eng. Commun. Comput. 32(1): 3-47 (2021)