Trial lecture: Kolmogorov complexity and cryptography
Solving non-linear Boolean equation systems by variable elimination
- B. Greve, Ø. Ytrehus, H. Raddum and G. Fløystad, “Solving non-linear Boolean equation systems by variable elimination», Applicable Algebra in Engineering, Communication and Computing, 2019, https://doi.org/10.1007/s00200-019-00399-7