( en | de | ru )

 

Disambiguation of "Kremer, Gereon"

Author of the publication

copydeleteadd this publication to your clipboard
Generating and Exploiting Automated Reasoning Proof Certificates.

, , , , , , , , , , , , and . Commun. ACM, 66 (10): 86-95 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gereon Broil

Gereon Elbers

Gereon Walther

Gereon Berghoff

Gereon Nelles

 

Other publications of authors with the same name

New Opportunities for the Formal Proof of Computational Real Geometry?, , , , and . CoRR, (2020)Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings., , , and . CoRR, (2020)On Variable Orderings in MCSAT for Non-Linear Real Arithmetic., , and . SC-square@SIAM AG, volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving., , and . SC²@ISSAC, volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Satisfiability Checking: Theory and Applications., and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 9-23. Springer, (2016)ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 231-242. Springer, (2021)On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving., , , and . SYNASC, page 37-39. IEEE, (2021)Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic., , , and . ARCADE@CADE, page 1-5. (2021)Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 95-105. Springer, (2022)Evaluation of Equational Constraints for CAD in SMT Solving., , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 19. CEUR-WS.org, (2018)