Publications

Publications for Gereon Kremer

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.
Link
[bibtex]
Gereon Kremer, Erika Abraham. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae, Informatica 10(1), pages 5–25, 2018.
2017
Download
[bibtex]
Erika Abraham, Gereon Kremer. SMT Solving for Arithmetic Theories: Theory and Tool Support. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), pages 1–8, IEEE, 2017.
Download
[bibtex]
Tarik Viehmann, Gereon Kremer, Erika Abraham. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
Link
[bibtex]
Erika Abraham, Jasper Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
Show all