×

梅斯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 杰出论文

按年份列出的引文