Lidia Stepien

According to our database¹, Lidia Stepien authored at least 3 papers between 2007 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

SAT as a Programming Environment for Linear Algebra.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

2008

SAT as a Programming Environment for Linear Algebra and Cryptanalysis.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

A Propositional Programming Environment for Linear Algebra.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007