Valentin Promies

According to our database, Valentin Promies authored at least 3 papers in 2023.

Collaborative distances:

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

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