Jasper Nalbach

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Top Venues

Publications

Jasper Nalbach, Erika Ábrahám
Merging Adjacent Cells During Single Cell Construction. CASC (2024)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123 (2024)
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)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT (2023)
Jasper Nalbach, Erika Ábrahám
Subtropical Satisfiability for SMT Solving. NFM (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)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. CoRR (2023)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. CoRR (2022)
Gereon Kremer, Jasper Nalbach
Cylindrical Algebraic Coverings for Quantifiers (short paper). SC-Square@FLoC (2022)
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Automated Exercise Generation for Satisfiability Checking. FMTea (2022)
Jasper Nalbach, Erika Ábrahám, Gereon Kremer
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ISSAC (2021)
Jasper Nalbach, Gereon Kremer, Erika Ábrahám
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. SC-square@SIAM AG (2019)
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. SC²@ISSAC (2017)