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

Aachen (2018, 2019) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (ii, 222 Seiten) : Illustrationen, Diagramme

Authors

Selected Authors

Loup, Ulrich

Identifier

  • REPORT NUMBER: RWTH-2018-231963