梅斯4 swMATH ID: 6905 软件作者: 威廉·麦库恩 描述: Mace4有限模型。Mace4是一个搜索一阶公式有限模型的程序。对于给定的域大小,将构造域上公式的所有实例。结果是一组具有相等性的基本子句。然后,应用基于基本方程重写的决策过程。如果检测到可满足性,则打印一个或多个模型。Mace4是一阶定理证明器的有用补充,证明器搜索证明,Mace4寻找反模型,它对有限代数的工作很有用。与之前的模型搜索程序Mace2相比,Mace4在方程式问题上表现更好。 主页: http://www.mcs.anl.gov/research/projects/AR/mace4/ 关键词: 有限模型 相关软件: 校准仪9;水獭;第三方交易协议;间隙;VAMPIRE公司;E定理证明器;SPASS公司;伊莎贝尔/HOL;超小卫星;Coq公司;回路;E-Darvin公司;大锤;伊莎贝尔;组织环境信息系统;z3(零3);查找器;达尔文;香车叶草;米扎尔 引用于: 246文件 全部的 前5名263位作者引用 21 迈克尔·基扬(Michael K.Kinyon)。 14 彼得·霍夫纳 12 沃伊特·乔夫斯克,皮特 11 伯恩哈德·莫勒 9 西蒙·科尔顿 9 Sankappanavar、Hanamantagouda P。 9 约瑟夫·厄本 8 彼得·吉普森 8 乔治·斯特鲁斯 7 胡安·曼纽尔·科内霍 7 萨尔瓦多卢卡斯 7 威廉·麦库恩。 6 乔昂·阿劳乔 6 尼克·菲亚拉(Nick C.Fiala)。 6 安德鲁·理查德,科兹利克 6 索尔奇,沃尔克 5 彼得·鲍姆加特纳 5 鲁道夫·伯哈默 5 马克·格里尔(Mark R.Greer)。 5 特里·格里格斯(Terry S.Griggs)。 5 劳尔·古铁雷斯 5 沃尔特·古特曼 5 塞萨里·卡利西克 5 阿列克谢·利西萨(Alexei P.Lisitsa)。 5 安德烈亚斯·梅耶 5 兰加纳坦帕德马纳班 5 蒂莫西·斯托克斯(Timothy E.Stokes)。 5 张健 4 卡琳·Cvetko-Vah 4 Dang,Han-Hing(韩红) 4 阿列舍·拉帕尔博士 4 罗伊·麦卡斯兰德。 4 路易吉·桑托卡纳莱 4 斯蒂芬·舒尔茨 4 杰夫·萨特克利夫 4 张汉涛 三 基思·M·阿格雷。 三 玛丽亚·保拉(Maria Paola Bonacina) 三 布兰登·菲德尔森 三 Hitoshi Furusawa 三 亚当·格拉博夫斯基 三 约翰·哈丁 三 C.A.R.Tony Hoare 三 Přemysl,杰德利奇卡 三 尼古拉斯·佩尔蒂埃 三 Stucke,Insa公司 三 塞萨尔·蒂内利 三 弗里德里希·卫龙 2 纳塔内尔·阿尔佩 2 贾斯敏·克里斯蒂安·布兰切特 2 科恩·克莱森 2 克里斯蒂亚,马克西米利亚诺 2 汉斯·德·尼维尔 2 丹尼尔·多尔蒂(Daniel J.Dougherty)。 2 安德烈·杜奈茨 2 安德鲁·菲什 2 富克斯,亚历山大 2 乌尔里希·富巴赫 2 马塞尔·杰克逊。 2 Jakubův,简 2 肯尼斯·库恩 2 乔纳森·埃德蒙·利奇 2 安·利利斯特罗姆 2 梅洛·德·索萨,西蒙 2 玛丽亚·德·卢德斯·梅里尼·朱利安尼 2 内尔玛·莫雷拉 2 Koki西泽 2 米罗斯拉夫·奥沙克 2 劳伦斯·查尔斯·保尔森 2 亚当·皮斯 2 卡尔·海因茨·佩内曼 2 戴维·佩雷拉(David P.Pereira)。 2 阿加塔·皮利托夫斯卡 2 阿尔班·蓬塞 2 凯尔·普拉 2 李·雷尼 2 沃尔夫冈·雷夫 2 Gianfranco罗西 2 Damian Sawicki 2 格哈德·谢尔霍恩 2 雷娜特·施密特(Renate A.Schmidt)。 2 马修·斯宾克斯 2 达安·J·C·斯陶德。 2 伊塔马尔·斯坦因 2 Stickel,Mark E。 2 罗伯特·弗罗夫 2 安德烈·沃伦科夫 2 卡罗尔·沃克。 2 埃尔伯特·艾布纳·沃克 2 王寿峰 2 伊恩·韦尔曼 2 安娜·扎莫伊斯卡·德齐尼奥(Anna Zamojska-Dzienio) 1 巴哈州阿默里 1 马尔科·阿巴迪尼 1 伊夫蒂哈尔·艾哈迈德 1 伊姆蒂亚斯·艾哈迈德 1 雷扎·阿赫塔 1 杰西·阿拉玛 1 哈伊纳尔·安德雷卡 1 乔·佩德罗·阿拉乌乔 …和另外163位作者 全部的 前5名61篇连载文章中引用 19 自动推理杂志 12 半群论坛 11 代数普遍性 9 代数杂志 9 程序设计中的逻辑和代数方法杂志 7 卡罗莱纳大学数学评论 6 代数通讯 5 离散数学 4 软计算 4 逻辑与代数程序设计杂志 三 纯粹与应用代数杂志 三 逻辑研究 三 订单 三 符号计算杂志 三 数学与人工智能年鉴 三 拟群及相关系统 三 应用逻辑杂志 三 形式化数学 2 信息学报 2 人工智能 2 信息处理信件 2 哲学逻辑杂志 2 美国数学学会汇刊 2 欧洲组合数学杂志 2 逻辑与计算杂志 2 澳大利亚组合数学杂志 2 应用非经典逻辑杂志 2 组合设计杂志 1 计算机与数学及其应用 1 休斯顿数学杂志 1 Beiträge zur代数与几何 1 Ars Combinatoria公司 1 捷克斯洛伐克数学杂志 1 演示数学 1 格拉斯哥数学杂志 1 组合理论杂志。系列A 1 符号逻辑杂志 1 斯洛伐克数学 1 太平洋数学杂志 1 编程和计算机软件 1 拓扑及其应用 1 应用数学进展 1 计算机程序设计科学 1 注释di Matematica 1 JCMCC公司。组合数学与组合计算杂志 1 AI通信 1 机器学习 1 国际代数与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 数学杂志。旁遮普大学 1 结理论杂志及其分歧 1 Documenta Mathematica公司 1 限制条件 1 葡萄牙数学。Nova Série公司 1 代数杂志及其应用 1 并行处理信件 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 杰出论文 全部的 前5名17个字段中引用 148 计算机科学(68至XX) 82 数学逻辑和基础(03-XX) 72 群论与推广(20-XX) 39 阶、格、有序代数结构(06-XX) 31 一般代数系统(08-XX) 23 组合数学(05-XX) 9 结合环与代数(16-XX) 4 范畴理论;同调代数(18-XX) 4 流形和细胞复合体(57至XX) 2 历史和传记(01-XX) 2 数论(11-XX) 2 非结合环和代数(17-XX) 2 几何图形(51至XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 1 一般拓扑结构(54至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文