Jasper Nalbach

Orcid: 0000-0002-2641-1380

Affiliations:
  • RWTH Aachen University, Germany


According to our database1, Jasper Nalbach authored at least 14 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
3
1
2
4
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Levelwise construction of a single cylindrical algebraic cell.
J. Symb. Comput., July, 2024

On Projective Delineability.
CoRR, 2024

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers.
CoRR, 2024

Under-Approximation of a Single Algebraic Cell (Extended Abstract).
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

Merging Adjacent Cells During Single Cell Construction.
Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.
Proceedings of the Fourteenth International Symposium on Games, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).
CoRR, 2023

Automated Exercise Generation for Satisfiability Checking.
Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.
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.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022
Cylindrical Algebraic Coverings for Quantifiers (short paper).
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.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2019
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.
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.
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


  Loading...