( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

, , , и . GandALF, том 390 из EPTCS, стр. 16-32. (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.

Dorothea Nalbach

Richard Nalbach

Gerbera Nalbach

Andrea Nalbach

Peter Nalbach

 

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

Subtropical Satisfiability for SMT Solving., и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 430-446. Springer, (2023)Automated Exercise Generation for Satisfiability Checking., , и . FMTea, том 13962 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2023)Levelwise construction of a single cylindrical algebraic cell., , , , , и . J. Symb. Comput., (июля 2024)On Variable Orderings in MCSAT for Non-Linear Real Arithmetic., , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Exploiting Strict Constraints in the Cylindrical Algebraic Covering., , , и . SMT, том 3429 из CEUR Workshop Proceedings, стр. 33-45. CEUR-WS.org, (2023)Cylindrical Algebraic Coverings for Quantifiers (short paper)., и . SC-Square@FLoC, том 3458 из CEUR Workshop Proceedings, стр. 1-9. CEUR-WS.org, (2022)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , и . GandALF, том 390 из EPTCS, стр. 16-32. (2023)Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework., , и . SC²@ISSAC, том 1974 из CEUR Workshop Proceedings, CEUR-WS.org, (2017)Extending the Fundamental Theorem of Linear Programming for Strict Inequalities., , и . ISSAC, стр. 313-320. ACM, (2021)