Haniel Barbosa

Available identifiers

zbMath Open barbosa.hanielMaRDI QIDQ1799120

List of research outcomes

Publication	Date of Publication	Type
Synthesising programs with non-trivial constants	2023-06-27	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Scalable algorithms for abduction via enumerative syntax-guided synthesis	2022-11-09	Paper
Congruence Closure with Free Variables	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	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	2017-09-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Haniel Barbosa