Subtropical Satisfiability for SMT Solving

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

1st ed. 2023. - Cham : Springer Nature Switzerland (2023)
Contribution to a book, Contribution to a conference proceedings

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


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]