( en | de | ru )

 

Disambiguation of "Kremer, Gereon"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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 Mertens

Gereon Börsch

Gereon Broil

Gereon Berghoff

Gereon Elbers

 

Other publications of authors with the same name

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)Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings., , , and . CoRR, (2020)New Opportunities for the Formal Proof of Computational Real Geometry?, , , , and . CoRR, (2020)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)Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic., , , and . ARCADE@CADE, page 1-5. (2021)On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving., , , and . SYNASC, page 37-39. IEEE, (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)cvc5: A Versatile and Industrial-Strength SMT Solver., , , , , , , , , and 6 other author(s). TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 415-442. Springer, (2022)