Marian Srebrny, Mateusz Srebrny, Lidia Stepien. SAT as a Programming Environment for Linear Algebra and Cryptanalysis. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]
Abstract is missing.