Search Results for author: Andrew Reynolds

Found 2 papers, 0 papers with code

Satisfiability and Synthesis Modulo Oracles

no code implementations28 Jul 2021 Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia

As a necessary component of this framework, we also formalize the problem of satisfiability modulo theories and oracles, and present an algorithm for solving this problem.

Program Synthesis

Fair and Adventurous Enumeration of Quantifier Instantiations

no code implementations28 May 2021 Mikoláš Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds

SMT solvers generally tackle quantifiers by instantiating their variables with tuples of terms from the ground part of the formula.

Cannot find the paper you are looking for? You can Submit a new open access paper.