Jasper Nalbach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | More is Less: Adding Polynomials for Faster Explanations in NLSAT. | Valentin Promies, Jasper Nalbach, Erika brahm, Paul Wagner |
| 2024 | CASC | Merging Adjacent Cells During Single Cell Construction. | Jasper Nalbach, Erika brahm |
| 2024 | SYNASC | On Projective Delineability. | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Nam Znadi, Christopher W. Brown, Erika brahm, James H. Davenport, Matthew England |
| 2021 | ISSAC | Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. | Jasper Nalbach, Erika brahm, Gereon Kremer |
| 2017 | ISSAC | Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. | Erika brahm, Jasper Nalbach, Gereon Kremer |