masterthesis

My Masterthesis. "Investigations on Backbone Computation"

To see the actual thesis, open thesis.pdf

Modification of content is not permitted after 30th of September 2019 as per requirement of my university.

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
images		images
.gitignore		.gitignore
README.md		README.md
abstr.tex		abstr.tex
algo_enumeration.tex		algo_enumeration.tex
algo_further.tex		algo_further.tex
algo_intro.tex		algo_intro.tex
algo_iterative.tex		algo_iterative.tex
algo_pref.tex		algo_pref.tex
bibl.bib		bibl.bib
cdcl.tex		cdcl.tex
conclusion.tex		conclusion.tex
cover.tex		cover.tex
disambiguation.tex		disambiguation.tex
exper_impl.tex		exper_impl.tex
exper_prefs.tex		exper_prefs.tex
header.tex		header.tex
indep.tex		indep.tex
introduction.tex		introduction.tex
license.txt		license.txt
listing_content.tex		listing_content.tex
listing_introduction.tex		listing_introduction.tex
optim_assumption.tex		optim_assumption.tex
optim_cheapBB.tex		optim_cheapBB.tex
optim_reduct.tex		optim_reduct.tex
results_description.tex		results_description.tex
results_pof.tex		results_pof.tex
results_satcomp.tex		results_satcomp.tex
results_vonThore.tex		results_vonThore.tex
thesis.pdf		thesis.pdf
thesis.tex		thesis.tex

Provide feedback