Automated Exercise Generation for Satisfiability Checking. - Erika Ábrahám; Jasper Nalbach; Valentin Promies (FMTea, 2023)

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). - Jasper Nalbach; Valentin Promies; Erika Ábrahám; Paul Kobialka (CoRR, 2023)

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. - Jasper Nalbach; Valentin Promies; Erika Ábrahám; Paul Kobialka (GandALF, 2023)

A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. - Valentin Promies; Erika Ábrahám (FM (1), 2024)

Under-Approximation of a Single Algebraic Cell (Extended Abstract). - Valentin Promies; Jasper Nalbach; Erika Ábrahám (PAAR+SC²@IJCAR, 2024)

More is Less: Adding Polynomials for Faster Explanations in NLSAT. - Valentin Promies; Jasper Nalbach; Erika Ábrahám; Paul Wagner (CADE, 2025)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex. - Valentin Promies; Jasper Nalbach; Erika Ábrahám; Paul Kobialka (Log. Methods Comput. Sci., 2025)