On solving real-algebraic formulas in a satisfiability-modulo-theories framework

Aachen (2018, 2019) [Doktorarbeit]

Seite(n): 1 Online-Ressource (ii, 222 Seiten) : Illustrationen, Diagramme

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Loup, Ulrich

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-231963