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

EmptyHeaded: Boolean Algebra Based Graph Processing., , , und . CoRR, (2015)IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL., , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 311-330. Springer, (2024)Reasoning About Vectors Using an SMT Theory of Sequences., , , , , , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2022)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 279-297. Springer, (2019)LifeJacket: verifying precise floating-point optimizations in LLVM., und . SOAP@PLDI, Seite 24-29. ACM, (2016)lazybvtoint at the SMT Competition 2020., , , , , und . CoRR, (2021)CVC4 at the SMT Competition 2018., , , , , , , , , und 1 andere Autor(en). CoRR, (2018)Even Faster Conflicts and Lazier Reductions for String Solvers., , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 205-226. Springer, (2022)Partitioning Strategies for Distributed SMT Solving., , , , , und . FMCAD, Seite 199-208. IEEE, (2023)cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis., , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 74-83. Springer, (2019)