Person

Jasper Nalbach

M. Sc.

Associated doctoral researcher

Jasper Nalbach
Lehr- und Forschungsgebiet Theorie Hybrider Systeme

Address

Building: 2352

Room: 4229

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21243
Fax Fax: +49 241 80 22243
 
Dissertation project

Algebraic Methods in SMT-Solving

Collaborations
Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
Engagement
Team Research Data Management
Talks
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)