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.
2018
Link
[bibtex]
Rebecca Haehn, Gereon Kremer, Erika Abraham. Evaluation of Equational Constraints for CAD in SMT Solving. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, Volume 2189 of CEUR Workshop Proceedings, pages 19–32, CEUR-WS.org, 2018.
DOILink
[bibtex]
Gereon Kremer, Erika Abraham. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae, Informatica 10(1), pages 5–25, 2018.
Show all