Efficient Instantiation Techniques in SMT (Work In Progress)
2016 · HAL (Le Centre pour la Communication Scientifique Directe) · 4 citations
H
Haniel Barbosa
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
54
Papers
760
Citations
12
h-index
15
i10-index
Haniel Barbosa is an academic researcher from Universidade Federal de Minas Gerais. The author has contributed to research in topics: Formal Methods in Verification & Logic, programming, and type systems & Logic, Reasoning, and Knowledge. The author has an h-index of 12, co-authored 46 publications.
ORCID: 0000-0003-0188-2300Papers by this author
worksBetter SMT Proofs for Easier Reconstruction
2019 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 citations
Revisiting Enumerative Instantiation
2018 · HAL (Le Centre pour la Communication Scientifique Directe) · 0 citations
Congruence Closure with Free Variables
2017 · HAL (Le Centre pour la Communication Scientifique Directe) · 0 citations
Revisiting Enumerative Instantiation - Artifact
2018 · Figshare · 0 citations
https://doi.org/10.6084/m9.figshare.5917384
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat