Name		Name	Last commit message	Last commit date
img		img
LICENSE		LICENSE
README.md		README.md
cnf_transformations.tex		cnf_transformations.tex
compile		compile
implementation.tex		implementation.tex
intro.tex		intro.tex
next_work.tex		next_work.tex
sat.tex		sat.tex
search.tex		search.tex
thesis.bib		thesis.bib
thesis.tex		thesis.tex
titlepage.tex		titlepage.tex

Repository files navigation

bakk_iaik

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

About

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

3 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages