A novel adaption of the Simplex algorithm for linear real arithmetic

Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika (Thesis advisor); Büsing, Christina Maria Katharina (Thesis advisor); Kremer, Gereon (Consultant)

Aachen (2020)
Master Thesis

Masterarbeit, RWTH Aachen University, 2020