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

Institutions

  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]

Identifier

Downloads