Automated Exercise Generation for Satisfiability Checking

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

Cham, Switzerland : Springer (2023)
Contribution to a book, Contribution to a conference proceedings

In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors
Page(s)/Article-Nr.: 1-16


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