The following pages link to Haniel Barbosa (Q1799120):
Displaying 11 items.
- Datatypes with shared selectors (Q1799121) (← links)
- Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- Syntax-guided rewrite rule enumeration for SMT solvers (Q2181939) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Revisiting enumerative instantiation (Q2324227) (← links)
- Congruence Closure with Free Variables (Q3303931) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
- Scalable fine-grained proofs for formula processing (Q5920090) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)
- \textsc{Carcara}: an efficient proof checker and elaborator for SMT proofs in the Alethe format (Q6535368) (← links)
