12 citations · 18 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 12 cited
SyGuS Techniques in the Core of an SMT Solver
Andrew Reynolds, Cesare Tinelli
We give an overview of recent techniques for implementing syntax-guided synthesis (SyGuS) algorithms in the core of Satisfiability Modulo Theories (SMT) solvers. We define several…
cs.LO2017
Constraint Solving for Finite Model Finding in SMT Solvers
Andrew Reynolds, Cesare Tinelli, Clark Barrett
SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with qua…