Gereon Kremer

kremer
Email
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

2021
DOI fulltext PDF [bibtex]
@article{D2021,
title = {Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Gereon Kremer},
publisher = {Elsevier Science},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {119},
pages = {pages 100633},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.jlamp.2020.100633},
url = { https://publications.rwth-aachen.de/record/816049},
}×
[issue] 		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
DOI fulltext PDF [bibtex]
@article{MSSR2018,
title = {Modular strategic SMT solving with SMT-RAT},
author = {Gereon Kremer and Erika Ábrahám},
publisher = {De Gruyter Open},
journal = {Acta Universitatis Sapientiae / Informatica},
volume = {10(1)},
pages = {pages 5-25},
type = {Journal Article},
year = {2018},
doi = {10.2478/ausi-2018-0001},
url = { https://publications.rwth-aachen.de/record/735737},
}×
[issue] 		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.
fulltext PDF [bibtex]
@conference{EECCSS2018,
title = {Evaluation of Equational Constraints for CAD in SMT Solving},
author = {Rebecca Haehn and Gereon Kremer and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {2189},
pages = {[19]-32},
type = {Conference Paper},
year = {2018},
url = { https://publications.rwth-aachen.de/record/753088},
}×
[issue] 		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.