( en | de | ru )

 

Disambiguation of "Kremer, Gereon"

Author of the publication

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

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 Berghoff

Gereon Nelles

Gereon Broil

Gereon Walther

Gereon Elbers

 

Other publications of authors with the same name

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)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)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)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 proof complexity of MCSAT., , and . CoRR, (2021)On the Proof Complexity of MCSAT., , and . SC-square@SIAM AG, volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)