Subtropical Satisfiability for SMT Solving

Nalbach, Jasper Kurt Ferdinand (Corresponding author); Ábrahám, Erika

1st ed. 2023. - Cham : Springer Nature Switzerland (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri
Seite(n)/Artikel-Nr.: 430-446

Einrichtungen

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