HAL Id: hal-03049044
https://hal.archives-ouvertes.fr/hal-03049044
Submitted on 9 Dec 2020
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui, Cesare Tinelli
To cite this version:
Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui, Cesare Tinelli. Higher-Order
SMT Solving (Work in Progress). SMT 2018 - 16th International Workshop on Satisfiability Modulo
Theories, Jul 2018, Oxford, United Kingdom. �hal-03049044�
(Work in Progress)
Haniel Barbosa 1 , Andrew Reynolds 1 , Pascal Fontaine 2 , Daniel El Ouraoui 2 , and Cesare Tinelli 1
1
University of Iowa, Iowa City, USA
{haniel-barbosa,cesare-tinelli}@uiowa.edu,andrew.j.reynolds@gmail.com
2