( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.

, , и . SC²@ISSAC, том 1974 из CEUR Workshop Proceedings, CEUR-WS.org, (2017)

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.

Gereon Mertens

Gereon Börsch

Gereon Broil

Gereon Elbers

Gereon Walther

 

Другие публикации лиц с тем же именем

On Variable Orderings in MCSAT for Non-Linear Real Arithmetic., , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Satisfiability Checking: Theory and Applications., и . SEFM, том 9763 из Lecture Notes in Computer Science, стр. 9-23. Springer, (2016)Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving., , и . SC²@ISSAC, том 1974 из CEUR Workshop Proceedings, CEUR-WS.org, (2017)New Opportunities for the Formal Proof of Computational Real Geometry?, , , , и . CoRR, (2020)Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings., , , и . CoRR, (2020)On the Proof Complexity of MCSAT., , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)On the proof complexity of MCSAT., , и . CoRR, (2021)Cylindrical algebraic decomposition for nonlinear arithmetic problems.. RWTH Aachen University, Germany, (2020)Flexible Proof Production in an Industrial-Strength SMT Solver., , , , , , , , , и 3 other автор(ы). IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 15-35. Springer, (2022)ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends., , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 231-242. Springer, (2021)