×

多个

swMATH ID: 21354
软件作者: 安德烈亚斯·梅耶(Andreas Meier);艾丽卡,梅利斯
描述: 系统描述:多。多策略证明规划师。自动定理证明器之间的CASC竞争表明,在所有领域中,没有一个系统能够超越所有其他系统。对这一观察的一种反应是以竞争(例如SSCPA系统)或合作方式(例如CSSCPA和TECHS系统)组合多个系统。因此,通用启发式选择有希望执行的系统和有希望交换的中间结果。通常,交换的结果仅限于所有系统都接受的子句或方程式。对特定子任务使用特定领域的服务是不可能的,例如构建数学对象,以及在数学驱动的控制知识指导下与其他服务的灵活合作。
主页: https://link.springer.com/chapter/10.1007/11532231_18
相关软件: Lambda-Clam公司;欧米茄;洛伊;欧米茄-ANTS;马亚;水獭;布利克塞姆;拦污栅;香车叶草;SPASS公司;IsaPlanner公司;间隙;Plat-Omega平台;XPath(XPath);GF公司;Pcoq公司;OMDoc公司;自动化;伊萨尔;枣灰蝶属
引用于: 6文件

2篇连载文章中引用

1 人工智能
1 应用逻辑杂志

在1个字段中引用

6 计算机科学(68至XX)

按年份列出的引文