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

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