多个 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文件 全部的 前5名6位作者引用 4 安德烈亚斯·梅耶 4 艾丽卡·梅利斯 2 谢尔盖·奥特西尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 谢克曼,Jörg H。 1 马克·奥利弗·瓦格纳 2篇连载文章中引用 1 人工智能 1 应用逻辑杂志 在1个字段中引用 6 计算机科学(68至XX) 按年份列出的引文