Jasper Nalbach

24 papers A 1B 2Misc 1Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination.
SC-Square@CADE
Jasper Nalbach, Erika Ábrahám
2025 J jnl
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination.
CoRR
Jasper Nalbach, Erika Ábrahám
2025 J jnl
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex.
Log. Methods Comput. Sci.
Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka
2025 A conf
More is Less: Adding Polynomials for Faster Explanations in NLSAT.
CADE
Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner
2025 J jnl
More is Less: Adding Polynomials for Faster Explanations in NLSAT.
CoRR
Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner
2025 — conf
Projective Delineability for Single Cell Construction.
SC-Square@CADE
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025 J jnl
Projective Delineability for Single Cell Construction.
CoRR
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2024 J jnl
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers.
CoRR
Jasper Nalbach, Gereon Kremer
2024 J jnl
Levelwise construction of a single cylindrical algebraic cell.
J. Symb. Comput.
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2024 B conf
Merging Adjacent Cells During Single Cell Construction.
CASC
Jasper Nalbach, Erika Ábrahám
2024 Misc conf
On Projective Delineability.
SYNASC
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 J jnl
On Projective Delineability.
CoRR
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 — conf
Under-Approximation of a Single Algebraic Cell (Extended Abstract).
PAAR+SC²@IJCAR
Valentin Promies, Jasper Nalbach, Erika Ábrahám
2023 — conf
Automated Exercise Generation for Satisfiability Checking.
FMTea
Erika Ábrahám, Jasper Nalbach, Valentin Promies
2023 — conf
Exploiting Strict Constraints in the Cylindrical Algebraic Covering.
SMT
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023 J jnl
Exploiting Strict Constraints in the Cylindrical Algebraic Covering.
CoRR
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023 J jnl
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).
CoRR
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
2023 — conf
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.
GandALF
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
2023 — conf
Subtropical Satisfiability for SMT Solving.
NFM
Jasper Nalbach, Erika Ábrahám
2022 — conf
Cylindrical Algebraic Coverings for Quantifiers (short paper).
SC-Square@FLoC
Gereon Kremer, Jasper Nalbach
2022 J jnl
Levelwise construction of a single cylindrical algebraic cell.
CoRR
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2021 B conf
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities.
ISSAC
Jasper Nalbach, Erika Ábrahám, Gereon Kremer
2019 — conf
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.
SC-square@SIAM AG
Jasper Nalbach, Gereon Kremer, Erika Ábrahám
2017 — conf
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.
SC²@ISSAC
Erika Ábrahám, Jasper Nalbach, Gereon Kremer