Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An efficient SMT solver for string constraints., , , , , und . Formal Methods Syst. Des., 48 (3): 206-234 (2016)A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT., , , und . CoRR, (2017)The SyGuS Language Standard Version 2.1., , , , und . CoRR, (2023)Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)., , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 95-105. Springer, (2022)Conflicts, Models and Heuristics for Quantifier Instantiation in SMT.. Vampire@IJCAR, Volume 44 von EPiC Series in Computing, Seite 1-15. EasyChair, (2016)Relational Constraint Solving in SMT., , , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 148-165. Springer, (2017)Datatypes with Shared Selectors., , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 591-608. Springer, (2018)An Interactive SMT Tactic in Coq using Abductive Reasoning., , , , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 11-22. EasyChair, (2023)Syntax-Guided Quantifier Instantiation., , , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 145-163. Springer, (2021)cvc5: A Versatile and Industrial-Strength SMT Solver., , , , , , , , , und 6 andere Autor(en). TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 415-442. Springer, (2022)