Eintrag in der Universitätsbibliographie der TU Chemnitz
Devadze, Grigory* ; Munser, Lukas* ; Streif, Stefan*
Extraction of a computer-certified SMT solver for nonlinear theories
Universität: | Technische Universität Chemnitz | |
Institut: | Professur Regelungstechnik und Systemdynamik | |
Dokumentart: | Konferenzbeitrag, referiert | |
ISBN/ISSN: | Electronic ISBN: 978-3-907144-08-4 ; USB ISBN: 978-3-907144-09-1 ; Print on Demand(PoD) ISBN: 978-1-6654-6531-1 | |
DOI: | doi:10.23919/ecc57647.2023.10178209 | |
Quelle: | European Control Conference (ECC) 2023, 13.06.-16.06.2023, Bucharest, Romania. - IEEE, 2023 | |
Freie Schlagwörter (Englisch): | Europe , Optimization , Arithmetic |