Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Cryptanalysis"