Haniel Barbosa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improving the SMT proof reconstruction pipeline in Isabelle/HOL	2026-09-01	Paper
Reconstruction of SMT proofs with Lambdapi Acta Informatica	2026-03-16	Paper
An interactive SMT tactic in Coq using abductive reasoning	2025-02-19	Paper
\textsc{Carcara}: an efficient proof checker and elaborator for SMT proofs in the Alethe format	2023-12-13	Paper
Synthesising programs with non-trivial constants Journal of Automated Reasoning	2023-06-27	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Even Faster Conflicts and Lazier Reductions for String Solvers	2022-12-07	Paper
Scalable algorithms for abduction via enumerative syntax-guided synthesis	2022-11-09	Paper
Congruence closure with free variables Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Syntax-guided rewrite rule enumeration for SMT solvers	2020-05-20	Paper
Extending SMT solvers to higher-order logic	2020-03-10	Paper
Scalable fine-grained proofs for formula processing Journal of Automated Reasoning	2020-03-03	Paper
Revisiting enumerative instantiation	2019-09-16	Paper
Datatypes with shared selectors	2018-10-18	Paper
Scalable fine-grained proofs for formula processing Automated Deduction – CADE 26	2017-09-22	Paper

Research outcomes over time

This page was built for person: Haniel Barbosa