Valentin Promies

According to our database, Valentin Promies authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex.

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

Log. Methods Comput. Sci., 2025

More is Less: Adding Polynomials for Faster Explanations in NLSAT.

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Under-Approximation of a Single Algebraic Cell (Extended Abstract).

Valentin Promies, Jasper Nalbach, Erika Ábrahám

Proceedings of the 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

A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic.

Valentin Promies, Erika Ábrahám

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

Proceedings of the Fourteenth International Symposium on Games, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

CoRR, 2023

Automated Exercise Generation for Satisfiability Checking.

Erika Ábrahám, Jasper Nalbach, Valentin Promies

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023