Jasper Nalbach
From MaRDI portal
Person:6149149
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| More is less: adding polynomials for faster explanations in NLSAT | 2026-01-21 | Paper |
| FMplex: a novel method for solving linear real arithmetic problems | 2025-08-19 | Paper |
| FMplex: exploring a bridge between Fourier-Motzkin and simplex Logical Methods in Computer Science | 2025-05-06 | Paper |
| Extending the fundamental theorem of linear programming for strict inequalities | 2025-01-20 | Paper |
| Merging adjacent cells during single cell construction | 2025-01-10 | Paper |
| Levelwise construction of a single cylindrical algebraic cell Journal of Symbolic Computation | 2024-02-05 | Paper |
Research outcomes over time
This page was built for person: Jasper Nalbach
