Person
Jasper Nalbach
M. Sc.Assoziierter Promotionsstudent
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
E-Mail:
Nalbach@cs.rwth-aachen.de
| Promotionsprojekt |
|---|
| Algebraic Methods in SMT-Solving |
| Kollaborationen |
|
Rebecca Haehn: Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties |
| Engagement |
|
Team Research Data Management |
| Talks |
| Bi-Weekly Talk: A novel idea for solving satisfiability modulo linear real arithmetic |
| 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) |