Jasper Nalbach


Jasper Nalbach

M. Sc.

Associated doctoral researcher

Download digital business card
Lehr- und Forschungsgebiet Theorie Hybrider Systeme


Building: 2352

Room: 4229

Ahornstr. 55

52074 Aachen

Dissertation project

Algebraic Methods in SMT-Solving

Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
Team Research Data Management
Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities
In: ISSAC '21 : Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation : July 18-23, 2021, Virtual Event, Russian Federation / General Chair: Frédéric Chyzak ; Program Committee Chair: George Labahn ; Proceedings Editor: Marc Mezzarobba, 313-320, 2021
[DOI: 10.1145/3452143.3465538]
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Kremer, Gereon (Corresponding author)