SAT as a Programming Environment for Linear Algebra and Cryptanalysis.

Marian Srebrny, Mateusz Srebrny, Lidia Stepien

Browse the full ISAIM paper archive.