Author of the publication

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.

 

Other publications of authors with the same name

Automated Exercise Generation for Satisfiability Checking., , and . FMTea, volume 13962 of Lecture Notes in Computer Science, page 1-16. Springer, (2023)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version)., , , and . CoRR, (2023)Subtropical Satisfiability for SMT Solving., and . NFM, volume 13903 of Lecture Notes in Computer Science, page 430-446. Springer, (2023)Levelwise construction of a single cylindrical algebraic cell., , , , , and . J. Symb. Comput., (July 2024)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)Cylindrical Algebraic Coverings for Quantifiers (short paper)., and . SC-Square@FLoC, volume 3458 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2022)Exploiting Strict Constraints in the Cylindrical Algebraic Covering., , , and . SMT, volume 3429 of CEUR Workshop Proceedings, page 33-45. CEUR-WS.org, (2023)Levelwise construction of a single cylindrical algebraic cell., , , , , and . CoRR, (2022)Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework., , and . SC²@ISSAC, volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Extending the Fundamental Theorem of Linear Programming for Strict Inequalities., , and . ISSAC, page 313-320. ACM, (2021)