Jasper Nalbach
Digitale Visitenkarte herunterladen

Person

Jasper Nalbach

M. Sc.

Graduiertenkolleg UnRAVeL

Assoziierter Promotionsstudent

Adresse

Gebäude: 2352

Raum: 4229

Ahornstr. 55

52074 Aachen

 
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)
[Fachzeitschriftenartikel]
Levelwise construction of a single cylindrical algebraic cell
In: Journal of symbolic computation, 123, 102288, 2023
[DOI: 10.1016/j.jsc.2023.102288]
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Specht, Philippe (Corresponding author)
Brown, Christopher W. (Corresponding author)
Davenport, James H. (Corresponding author)
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023, 2023
[DOI: 10.4204/EPTCS.390.2]
Nalbach, Jasper Kurt Ferdinand
Promies, Valentin Maxim
Ábrahám, Erika
Kobialka, Paul
[Buchbeitrag, Beitrag zu einem Tagungsband]
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
In: SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 / Edited by Stéphane Graham-Lengrand ; Mathias Preiner, 13 Seiten, 2023
Bär, Philipp (Corresponding author)
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Brown, Christopher (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Subtropical Satisfiability for SMT Solving
In: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri, 430-446, 2023
[DOI: 10.1007/978-3-031-33170-1_26]
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika
[Buchbeitrag, Beitrag zu einem Tagungsband]
Automated Exercise Generation for Satisfiability Checking
In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16, 2023
[DOI: 10.1007/978-3-031-27534-0_1]
Ábrahám, Erika
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Promies, Valentin Maxim
[Buchbeitrag, Beitrag zu einem Tagungsband]
Cylindrical Algebraic Coverings for Quantifiers
In: Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings, 9 Seiten, 2023
Kremer, Gereon
Nalbach, Jasper Kurt Ferdinand
[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)