SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám International Conference on Theory and Applications of Satisfiability …, 2015 | 63 | 2015 |

Zephyrus2: On the Fly deployment optimization using SMT and CP technologies E Ábrahám, F Corzilius, EB Johnsen, G Kremer, J Mauro International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 21 | 2016 |

Satisfiability checking: Theory and applications E Abraham, G Kremer International Conference on Software Engineering and Formal Methods, 9-23, 2016 | 15 | 2016 |

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic G Kremer, F Corzilius, E Ábrahám International Workshop on Computer Algebra in Scientific Computing, 315-335, 2016 | 10 | 2016 |

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. T Viehmann, G Kremer, E Ábrahám SC²@ ISSAC, 2017 | 7 | 2017 |

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. E Abraham, J Nalbach, G Kremer SC²@ ISSAC, 2017 | 6 | 2017 |

Isolating real roots using adaptable-precision interval arithmetic G Kremer, E Ábrahám Master’s thesis, RWTH Aachen University, 2013.⇒ 14, 2013 | 3 | 2013 |

Modular strategic SMT solving with SMT-RAT G Kremer, E Ábrahám Acta Universitatis Sapientiae, Informatica 10 (1), 5-25, 2018 | 2 | 2018 |

Evaluation of equational constraints for CAD in SMT solving R Haehn, G Kremer, E Ábrahám Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic …, 2018 | 2 | 2018 |

SMT Solving for Arithmetic Theories: Theory and Tool Support E Ábrahám, G Kremer 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 2 | 2017 |

On variable orderings in MCSAT for non-linear real arithmetic J Nalbach, G Kremer, E Abrahám Satisfiability Checking and Symbolic Computation 2460, 6, 0 | 2 | |

Fully incremental cylindrical algebraic decomposition G Kremer, E Ábrahám Journal of Symbolic Computation 100, 11-37, 2020 | 1 | 2020 |

Computer Algebra and Computer Science G Kremer Applications of Computer Algebra: proceedings, 27, 2018 | 1 | 2018 |

On the Proof Complexity of MCSAT G Kremer, E Abrahám, V Ganesh | 1 | |

New Opportunities for the Formal Proof of Computational Real Geometry? J Davenport, M England, G Kremer, Z Tonks arXiv preprint arXiv:2004.04034, 2020 | | 2020 |

Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings JH Davenport, M England, G Kremer arXiv preprint arXiv:2003.05633, 2020 | | 2020 |

SMT-RAT 19.04 E Ábrahám, G Kremer, J Nalbach, R Haehn, F Corzilius, S Junges, ... | | 2019 |

SMT-RAT 2.1 E Ábrahám, G Kremer, F Corzilius, S Junges, S Schupp | | 2017 |

Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies-Technical Report J Mauro Research report http://urn. nb. no/URN: NBN: no-35645, 2016 | | 2016 |

Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems G Kremer | | |