Jasper Nalbach

According to our database, Jasper Nalbach authored at least 10 papers between 2017 and 2024.

Collaborative distances:

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

2024

Levelwise construction of a single cylindrical algebraic cell.

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

J. Symb. Comput., July, 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

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Subtropical Satisfiability for SMT Solving.

Jasper Nalbach, Erika Ábrahám

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Cylindrical Algebraic Coverings for Quantifiers (short paper).

Gereon Kremer, Jasper Nalbach

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

2021

Extending the Fundamental Theorem of Linear Programming for Strict Inequalities.

Jasper Nalbach, Erika Ábrahám, Gereon Kremer

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2019

On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.

Jasper Nalbach, Gereon Kremer, Erika Ábrahám

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2017

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.

Erika Ábrahám, Jasper Nalbach, Gereon Kremer

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017