% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@MASTERSTHESIS{Nalbach:818122,
author = {Nalbach, Jasper Kurt Ferdinand},
othercontributors = {Ábrahám, Erika and Büsing, Christina Maria Katharina and
Kremer, Gereon},
title = {{A} novel adaption of the {S}implex algorithm for linear
real arithmetic},
school = {RWTH Aachen University},
type = {Masterarbeit},
address = {Aachen},
reportid = {RWTH-2021-04303},
pages = {1 Online-Ressource : Illustrationen},
year = {2020},
note = {Veröffentlicht auf dem Publikationsserver der RWTH Aachen
University; Masterarbeit, RWTH Aachen University, 2020},
cin = {123420 / 120000},
ddc = {004},
cid = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)19},
doi = {10.18154/RWTH-2021-04303},
url = {https://publications.rwth-aachen.de/record/818122},
}