| Levelwise construction of a single cylindrical algebraic cell J Nalbach, E Ábrahám, P Specht, CW Brown, JH Davenport, M England Journal of Symbolic Computation 123, 102288, 2024 | 13 | 2024 |
| Embedding the virtual substitution method in the model constructing satisfiability calculus framework (work-in-progress paper) E Ábrahám, J Nalbach, G Kremer Proceedings of the 2nd International Workshop on Satisfiability Checking and …, 2017 | 12 | 2017 |
| Cylindrical algebraic coverings for quantifiers G Kremer, J Nalbach Satisfiability Checking and Symbolic Computation 2023, 2022 | 7 | 2022 |
| On variable orderings in MCSAT for non-linear real arithmetic J Nalbach, G Kremer, E Ábrahám SC-square@ SIAM AG, 2019 | 7 | 2019 |
| FMplex: A novel method for solving linear real arithmetic problems J Nalbach, V Promies, E Ábrahám, P Kobialka arXiv preprint arXiv:2310.00995, 2023 | 5 | 2023 |
| Subtropical satisfiability for SMT solving J Nalbach, E Ábrahám NASA Formal Methods Symposium, 430-446, 2023 | 5 | 2023 |
| Automated exercise generation for satisfiability checking E Ábrahám, J Nalbach, V Promies Formal Methods Teaching Workshop, 1-16, 2023 | 5 | 2023 |
| Extending the fundamental theorem of linear programming for strict inequalities J Nalbach, E Ábrahám, G Kremer Proceedings of the 2021 International Symposium on Symbolic and Algebraic …, 2021 | 5 | 2021 |
| Exploiting strict constraints in the cylindrical algebraic covering P Bär, J Nalbach, E Ábrahám, CW Brown arXiv preprint arXiv:2306.16757, 2023 | 4 | 2023 |
| A novel adaption of the simplex algorithm for linear real arithmetic JKF Nalbach Universitätsbibliothek der RWTH Aachen, 2020 | 3 | 2020 |
| Embedding the virtual substitution in the MCSAT framework J Nalbach Bachelor's thesis, RWTH Aachen University, 2017 | 3 | 2017 |
| On Projective Delineability L Michel, J Nalbach, P Mathonet, N Zénaïdi, CW Brown, E Ábrahám, ... arXiv preprint arXiv:2411.13300, 2024 | | 2024 |
| Extensions of the Cylindrical Algebraic Covering Method for Quantifiers J Nalbach, G Kremer arXiv preprint arXiv:2411.03070, 2024 | | 2024 |
| Merging Adjacent Cells During Single Cell Construction J Nalbach, E Ábrahám International Workshop on Computer Algebra in Scientific Computing, 252-272, 2024 | | 2024 |
| Merging Adjacent Cells During Single J Nalbach, E Ábrahám Computer Algebra in Scientific Computing: 26th International Workshop, CASC …, 2024 | | 2024 |
| FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex V Promies, J Nalbach, E Ábrahám, P Kobialka arXiv preprint arXiv:2309.03138, 2023 | | 2023 |
| FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version) J Nalbach, V Promies, E Ábrahám, P Kobialka arXiv e-prints, arXiv: 2309.03138, 2023 | | 2023 |
| FMPLEX: EXPLORING A BRIDGE BETWEEN FOURIER-MOTZKIN AND SIMPLEX J NALBACH, V PROMIES, E ÁBRAHÁM, P KOBIALKA arXiv preprint arXiv:2309.03138, 2023 | | 2023 |
| Algebraic Methods in SMT-Solving J Nalbach 2023 Joint Workshop of the German Research Training Groups in Computer …, 2023 | | 2023 |
| ths-rwth/CArl: 23.05 G Kremer, M Volk, J Nalbach, S Junges, S Schupp, F Corzilius, T Winkler, ... Zenodo, 2023 | | 2023 |
