Valentin Promies

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Solving Problems

Alternative Methods

Convex Quadratic Programming

Extended Abstract

Top Venues

PAAR+SC²@IJCAR

Publications

Valentin Promies, Jasper Nalbach, Erika Ábrahám
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR (2024)
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Automated Exercise Generation for Satisfiability Checking. FMTea (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). CoRR (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF (2023)
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Automated Exercise Generation for Satisfiability Checking. FMTea (2022)