Person

Jasper Nalbach

M. Sc.

Assoziierter Promotionsstudent

Jasper Nalbach
Lehr- und Forschungsgebiet Theorie Hybrider Systeme

Adresse

Gebäude: 2352

Raum: 4229

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21243
Fax Fax: +49 241 80 22243
 
Promotionsprojekt
Algebraic Methods in SMT-Solving
Kollaborationen

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

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)