Gereon Kremer
Gereon Kremer
Verified email at cs.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
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
632015
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
212016
Satisfiability checking: Theory and applications
E Abraham, G Kremer
International Conference on Software Engineering and Formal Methods, 9-23, 2016
152016
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
102016
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
T Viehmann, G Kremer, E Ábrahám
SC²@ ISSAC, 2017
72017
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.
E Abraham, J Nalbach, G Kremer
SC²@ ISSAC, 2017
62017
Isolating real roots using adaptable-precision interval arithmetic
G Kremer, E Ábrahám
Master’s thesis, RWTH Aachen University, 2013.⇒ 14, 2013
32013
Modular strategic SMT solving with SMT-RAT
G Kremer, E Ábrahám
Acta Universitatis Sapientiae, Informatica 10 (1), 5-25, 2018
22018
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
22018
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
22017
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
12020
Computer Algebra and Computer Science
G Kremer
Applications of Computer Algebra: proceedings, 27, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20