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

The SyGuS Language Standard Version 2.1., , , , and . CoRR, (2023)A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT., , , and . CoRR, (2017)An Interactive SMT Tactic in Coq using Abductive Reasoning., , , , , and . LPAR, volume 94 of EPiC Series in Computing, page 11-22. EasyChair, (2023)An efficient SMT solver for string constraints., , , , , and . Formal Methods Syst. Des., 48 (3): 206-234 (2016)High-Level Abstractions for Simplifying Extended String Constraints in SMT., , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 23-42. Springer, (2019)Invertibility Conditions for Floating-Point Formulas., , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 116-136. Springer, (2019)SyGuS Techniques in the Core of an SMT Solver., and . SYNT@CAV, volume 260 of EPTCS, page 81-96. (2017)A Decision Procedure for String to Code Point Conversion., , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 218-237. Springer, (2020)Extending SMT Solvers to Higher-Order Logic., , , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 35-54. Springer, (2019)Quantifier Instantiation Beyond E-Matching.. SMT, volume 1889 of CEUR Workshop Proceedings, page 2. CEUR-WS.org, (2017)