SMT 求解器核心中的 SyGuS 技术
计算机科学中的逻辑
2017-11-30 v1
摘要
我们概述了在可满足性模理论(SMT)求解器核心中实现语法引导综合(SyGuS)算法的近期技术。我们定义了若干类综合猜想以及在处理每一类猜想时可使用的相关技术。
引用
@article{arxiv.1711.10641,
title = {SyGuS Techniques in the Core of an SMT Solver},
author = {Andrew Reynolds and Cesare Tinelli},
journal= {arXiv preprint arXiv:1711.10641},
year = {2017}
}
备注
In Proceedings SYNT 2017, arXiv:1711.10224