| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 485 | 2022 |
| SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 130 | 2015 |
| Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings E Ábrahám, JH Davenport, M England, G Kremer Journal of Logical and Algebraic Methods in Programming 119, 100633, 2021 | 67 | 2021 |
| 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 | 45 | 2016 |
| Fully incremental cylindrical algebraic decomposition G Kremer, E Ábrahám Journal of Symbolic Computation 100, 11-37, 2020 | 34 | 2020 |
| Satisfiability checking: Theory and applications E Ábrahám, G Kremer Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 27 | 2016 |
| Flexible proof production in an industrial-strength SMT solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... International Joint Conference on Automated Reasoning, 15-35, 2022 | 26 | 2022 |
| A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic G Kremer, F Corzilius, E Ábrahám Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016 | 23 | 2016 |
| New Opportunities for the Formal Proof of Computational Real Geometry? E Ábrahám, J Davenport, M England, G Kremer, Z Tonks Proceedings of the 5th Workshop on Satisfiability Checking and Symbolic …, 2020 | 18* | 2020 |
| ddSMT 2.0: better delta debugging for the SMT-LIBv2 language and friends G Kremer, A Niemetz, M Preiner International Conference on Computer Aided Verification, 231-242, 2021 | 16 | 2021 |
| Satisfiability modulo finite fields A Ozdemir, G Kremer, C Tinelli, C Barrett International Conference on Computer Aided Verification, 163-186, 2023 | 15 | 2023 |
| Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems G Kremer PhD dissertation, RWTH Aachen University, 2020 | 15 | 2020 |
| Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. E Ábrahám, J Nalbach, G Kremer SC²@ ISSAC, 2017 | 12* | 2017 |
| On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving G Kremer, E Ábrahám, M England, JH Davenport 2021 23rd International Symposium on Symbolic and Numeric Algorithms for …, 2021 | 11 | 2021 |
| 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 | 10 | 2017 |
| Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description) G Kremer, A Reynolds, C Barrett, C Tinelli International Joint Conference on Automated Reasoning, 95-105, 2022 | 9 | 2022 |
| Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. T Viehmann, G Kremer, E Ábrahám SC²@ ISSAC, 2017 | 9 | 2017 |
| Modular strategic SMT solving with SMT-RAT G Kremer, E Ábrahám Acta Universitatis Sapientiae, Informatica 10 (1), 5-25, 2018 | 8 | 2018 |
| Cylindrical algebraic coverings for quantifiers G Kremer, J Nalbach Proceedings of the 7th International Workshop on Satisfiability Checking and …, 2022 | 7 | 2022 |
| On variable orderings in MCSAT for non-linear real arithmetic J Nalbach, G Kremer, E Ábrahám Satisfiability Checking and Symbolic Computation 2460, 6, 2019 | 7 | 2019 |
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
