FALCON公司 swMATH ID: 21349 软件作者： 张，J。 描述： 用FALCON构造有限代数。模型和反例的生成是推理的一种重要形式。在本文中，我们给出了一个名为FALCON的系统的形式化描述，该系统用于从给定的等式公理构造有限代数。给出了抽象算法，以及一些实现细节和示例应用程序。有限模型的生成被视为一个约束满足问题，公理的基础实例作为约束。该系统的一个特点是，它使用了一种称为最小数启发式的非常简单的技术来消除同构（部分）模型，从而减小搜索空间的大小。证明了启发式算法的正确性。给出了一些实验数据，以说明该系统的性能和应用。 主页： https://link.springer.com/article/10.1007/BF00247667 相关软件： 梅斯4；超小卫星；ModGen公司；萨奇莫；查找器；斯科特；回路；间隙；迷你们；糠；OEIS公司；年龄；莫德；校准仪9；z3（零3）；伊塞斯；扫描电镜；SATO公司；水獭；RRL公司 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用FALCON构造有限代数。 Zbl 0877.68103号张健 1996 全部的 前5名12位作者引用 三 张健 2 张汉涛 1 吉尔·奥德玛 1 贝莱德·本哈莫 1 Chow，乔瓦 1 汉斯·德·尼维尔 1 劳尔·古铁雷斯 1 洛朗·海诺克 1 米科拉什·亚诺塔 1 萨尔瓦多卢卡斯 1 孟，贾 1 卡尔·海因茨·佩内曼 2篇连载文章中引用 2 自动推理杂志 1 约束条件 在3个字段中引用 8 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 按年份列出的引文