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)
Masterarbeit

Masterarbeit, RWTH Aachen University, 2020

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]

Identifikationsnummern

Downloads