Valentin Promies
I am a doctoral student of the Theory of Hybrid Systems group since September 2022.
Research Interests
- SMT solving
- (Non-)linear real arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS22/23, WS23/24)
- Seminar:Satisfiability Checking (SS23)
- For supervised theses see here.
Publications
| 2025 | |
|---|---|
| DOI Details | Valentin Promies and Erika Ábrahám. 2025. A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. In Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024, proceedings (Lecture notes in computer science, Vol. 14933). Springer, Cham, 131–148. |
| DOI Details | Valentin Promies, Jasper Nalbach, Erika Ábrahám, and Paul Kobialka. 2025. FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex. Logical methods in computer science : LMCS 21, 2 (2025), 13362. |
| 2024 | |
| Details | Valentin Promies, Jasper Nalbach, and Erika Ábrahám. 2024. Under-Approximation of a Single Algebraic Cell. In PAAR+SC-Square 2024: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024 : joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024) : Nancy, France, July 2, 2024 (CEUR workshop proceedings, Vol. 3717). RWTH Aachen, Aachen, Germany, 132–136. |
| 2023 | |
| DOI Details | Erika Ábrahám, Jasper Nalbach, and Valentin Promies. 2023. Automated Exercise Generation for Satisfiability Checking. In Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings (Lecture notes in computer science, Vol. 13962). Springer, Cham, Switzerland, 1–16. |
| DOI Details | Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. arXiv:2309.03138. |
| DOI Details | Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. 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 (Electronic Proceedings in Theoretical Computer Science, Vol. 390). Open Publishing Association. |
| Show all | |