CSIsat卫星 swMATH ID: 11407 软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔 描述: CSIsat:LA+EUF的插值。我们提出了CSIsat,这是一种用于有理线性算术和等式的无量词理论的插值决策程序,具有未解释的函数符号。我们的实现结合了线性规划求解算术部分的效率和SAT求解器求解布尔结构的效率。我们通过软件验证评估工具在基准测试上的效率。二进制文件和CSIsat的源代码作为免费软件公开提供。 主页: 网址:http://www.sosy-lab.org/~dbeyer/CSIsat卫星/ 相关软件: FOCI公司;公主;SyPet公司;金刚狼;简化;z3(零3);爆破;Yices公司;开放式SMT;SDPT3系统;SICStus公司;陆军装备司令部;佩里普洛;胡迪尼;快速的;Eldarica公司;CPA检查器;扁平的;糠;Caduceus公司 引用于: 16文件 全部的 前5名36位作者引用 三 丹尼尔·科宁 三 菲利普·吕默 2 迈克尔·布隆丁 2 哈维尔·埃斯帕尔扎 2 容格 2 Lee,Wonchan先生 2 杰罗姆·勒鲁 2 安德烈·里巴尔琴科 2 王,弯腰 2 Yi,Kwangkeun先生 1 玛丽亚·保拉(Maria Paola Bonacina) 1 安吉洛·布里洛特 1 罗伯特·布鲁托梅索 1 陈明帅 1 亚历山德罗·西马蒂 1 戴丽云 1 甘婷 1 西尔维奥·吉拉尔迪 1 阿米特·戈尔 1 阿尔贝托·格里乔 1 穆阿·约翰逊 1 迪帕克·卡普尔 1 萨瓦·A·克里斯蒂。 1 Mandrykin,密歇根大学。 1 穆提林(V.S.Mutilin)。 1 西尔维奥·兰伊斯 1 罗伯托·塞巴斯蒂亚尼 1 Shved,体育。 1 维奥里卡Sofrone-Stokkerman 1 Subotic,铺面 1 塞萨尔·蒂内利 1 Nishant Totla公司 1 托马斯·沃尔 1 托马斯·怀斯 1 夏碧灿 1 詹乃军 全部的 前5名6篇连载文章中引用 4 自动推理杂志 2 计算机科学中的逻辑方法 1 信息学报 1 编程和计算机软件 1 符号计算杂志 1 ACM计算逻辑汇刊 在4个字段中引用 16 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的引文