( en | de | ru )

 

Disambiguierung von "Nalbach, Jasper"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

, , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dorothea Nalbach

Richard Nalbach

Gerbera Nalbach

Andrea Nalbach

Peter Nalbach

 

Weitere Publikationen von Autoren mit dem selben Namen

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