EasyChair Smart SlideDocs/Log in
Author: Haniel Barbosa

This page shows all presentations of this author published in EasyChair Smart Slide.

An Interactive SMT Tactic in Coq Using Abductive Reasoning

An Interactive SMT Tactic in Coq Using Abductive Reasoning

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett

Extending SMT solvers to Higher-Order Logic

Extending SMT solvers to Higher-Order Logic

Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett

Higher-Order SMT Solving

Higher-Order SMT Solving

Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui and Cesare Tinelli

Revisiting Enumerative Instantiation

Revisiting Enumerative Instantiation

Andrew Reynolds, Haniel Barbosa and Pascal Fontaine

Datatypes with Shared Selectors

Datatypes with Shared Selectors

Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli and Clark Barrett

Rewrites for SMT Solvers using Syntax-Guided Enumeration

Rewrites for SMT Solvers using Syntax-Guided Enumeration

Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett and Cesare Tinelli

Presentations in this collection: 6
Copyright © 2002 – 2025 EasyChair