.png){kind=icon}
返回
POLYQENT: A Polynomial Quantified Entailment Solver
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-08707-2_19.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
多项式量化蕴含式在存在量词和全称量词变量方面，在验证和程序分析中的许多问题中都有出现。我们提出了PolyQEnt，这是一个用于求解多项式量化蕴含式的工具，其中蕴含式两边的变量可以是实数或无界整数。我们的工具为文献中多个论文中出现的多项式量化蕴含式问题提供了一个统一的框架。我们对广泛基准进行的实验评估表明，该工具不仅具有适用性，而且与仅使用现有的SMT求解器来解决此类约束相比，具有优势。
Keyword:
Polynomial Quantified Entailments
Constraint Solving
Positivity Theorems
Program Analysis
期刊
A
IF:
0
论文数:
21
被引数:
0
机构
引用论文
.png){kind=icon}
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs代数几何算法用于基于模板的多项式程序合成
PREAI
分享收藏
查看更多内容