线性和多线性实数算术中的局部搜索方法
摘要：局部搜索算法对于SMT(RA)的应用于非线性实数算术方程 上具有重要意义。 指出在非线性实数算术方程中，多线性是非常重要的。 通过引入区间运算，并根据得分函数提出一种选择机制，在评估操作时进行区分，从而改进已有的局部搜索算法。通过对来自SMT-LIB的基准进行评估实验，证明了局部搜索算法在处理SMT(RA)问题上与现有SMT求解器具有竞争力，并且在多线性实例上表现出色。
作者：Bohan Li, Shaowei Cai
论文ID：2303.06676
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-03