Gast ::
A novel adaption of the Simplex algorithm for linear real arithmetic
2020
Masterarbeit, RWTH Aachen University, 2020
Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ;
Tag der mündlichen Prüfung/Habilitation
2020-03-04
Online
DOI: 10.18154/RWTH-2021-04303
URL: https://publications.rwth-aachen.de/record/818122/files/818122.pdf
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
(zusätzliche Dateien)
Dokumenttyp
Master Thesis
Format
online
Sprache
English
Interne Identnummern
RWTH-2021-04303
Datensatz-ID: 818122
Beteiligte Länder
Germany
|
The record appears in these collections: |