Publications

Publications for Gereon Kremer

2019
DOI
[bibtex]
Gereon Kremer, Erika Abraham. Fully Incremental Cylindrical Algebraic Decomposition. Journal of Symbolic Computation, 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