SyGuS Techniques in the Core of an SMT Solver
SyGuS Techniques in the Core of an SMT Solver
复制标题
SMT 求解器核心的 SyGuS 技术
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
C. Tinelli
中科院分区：
文献类型：
--
作者：
Andrew Reynolds;C. Tinelli
我们概述了在满意度模型理论（SMT）求解器核心中实现语法引导的合成（SYGUS）算法的最新技术。我们定义了几类合成猜想和相应的技术，这些技术可以在处理每种猜想时使用。
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 classes of synthesis conjectures and corresponding techniques that can be used when dealing with each class of conjecture.
DOI：
10.1007/978-3-642-45221-5_9
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Benzmüller C
通讯作者：
Benzmüller C
影响因子：
0.8
作者：
Brain, Martin;D'Silva, Vijay;Kroening, Daniel
通讯作者：
Kroening, Daniel