This page shows all presentations of this author published in EasyChair Smart Slide.
Extending SMT solvers to Higher-Order Logic
Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett
Higher-Order SMT Solving
Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui and Cesare Tinelli
Revisiting Enumerative Instantiation
Andrew Reynolds, Haniel Barbosa and Pascal Fontaine
Datatypes with Shared Selectors
Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli and Clark Barrett
Rewrites for SMT Solvers using Syntax-Guided Enumeration
Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett and Cesare Tinelli