
- gereon.kremer at cs.rwth-aachen.de
- Phone
- +49 241 80 21243
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
Research Interests
- SMT solving
- Nonlinear real arithmetic
- Cylindrical Algebraic Decomposition
- Integer arithmetic
Teaching
- SS 2016: Seminar Satisfiability Checking
- SS 2016: Practical Course SMT-Solving
- WS 2015/16: Lecture Satisfiability Checking
- WS 2015/16: Practical Course SMT-Solving
- WS 2015/16: Proseminar Algorithms and Tools for Verification
- SS 2015: Practical Course SMT-Solving
- SS 2015: Seminar Satisfiability Checking
- WS 2014/15: Lecture Satisfiability Checking
- WS 2014/15: Practical Course SMT-Solving
- WS 2014/15: Proseminar Algorithms and Tools for Verification
- SS 2014: Seminar Satisfiability Checking
- SS 2014: Proseminar Wurzeln der Informatik
- WS 2013/14: Proseminar Algorithms and Tools for Verification
2021 | |
---|---|
![]() ![]() |
Erika Ábrahám, 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 119, pages 100633, Elsevier Science, 2021. |
2018 | |
![]() ![]() |
Gereon Kremer, Erika Ábrahám. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018. |
![]() |
Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3. Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018. |