Publications

Publications for Gereon Kremer

2020
DownloadLink
[bibtex]
Erika Abraham, James H. Davenport, Matthew England, Gereon Kremer. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. Journal of Logical and Algebraic Methods in Programming, 2020.
2019
DOI
[bibtex]
Gereon Kremer, Erika Abraham. Fully Incremental Cylindrical Algebraic Decomposition. Journal of Symbolic Computation (Available online 29 July 2019), 2019.

[bibtex]
Jasper Nalbach, Gereon Kremer, Erika Abraham. On Variable Orderings in MCSAT for Non-linear Real Arithmetic. Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.

[bibtex]
Gereon Kremer, Erika Abraham, Vijay Ganesh. On the Proof Complexity of MCSAT. Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.
Show all