Boolean satisfiability problem and cryptography

Reference:

Aleksi Hänninen. Boolean satisfiability problem and cryptography. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.

Suggested BibTeX entry:

@mastersthesis{HanninenMsc,
    author = {Aleksi H\"anninen},
    school = {Helsinki University of Technology, Department of Information and Computer Science},
    title = {Boolean satisfiability problem and cryptography},
    year = {2008},
}