( en | de | ru )

 

Disambiguation of "Barbosa, Haniel"

Author of the publication

copydeleteadd this publication to your clipboard
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers.

, , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)

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.

Haniel Barbosa

Joachim Haniel

Erich Haniel

Alfred Haniel

Anja Haniel

 

Other publications of authors with the same name

Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding., , , and . SMT, volume 2854 of CEUR Workshop Proceedings, page 3-14. CEUR-WS.org, (2020)Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis., , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 141-160. Springer, (2020)Fair and Adventurous Enumeration of Quantifier Instantiations., , , and . FMCAD, page 256-260. IEEE, (2021)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)Synthesising Programs with Non-trivial Constants., , , , , , , , and . J. Autom. Reason., 67 (2): 19 (June 2023)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)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)On-line synthesis of parsers for string events., , , and . J. Comput. Lang., (2021)