A Propositional Programming Environment for Linear Algebra. - Marian Srebrny; Lidia Stepien (Fundam. Informaticae, 2007)

SAT as a Programming Environment for Linear Algebra and Cryptanalysis. - Marian Srebrny; Mateusz Srebrny; Lidia Stepien (ISAIM, 2008)

SAT as a Programming Environment for Linear Algebra. - Marian Srebrny; Lidia Stepien (Fundam. Informaticae, 2010)