干杯 swMATH ID: 32206 软件作者: 布莱恩,马丁;汤姆·克里克;玛丽娜·德沃斯;约翰·惠誉 描述: TOAST:将答案集编程应用于超优化。答案集编程(ASP)是一种声明性编程形式,特别适用于困难的组合搜索问题。然而,它还没有被用于多个大型应用程序,这些应用程序需要展示ASP的优势,并激励工具和方法的开发。本文描述了这样一个大规模的应用程序,即TOAST(使用应答集技术的总体优化)系统,该系统试图使用一种称为超优化的技术为简单的非循环函数生成最优机器代码。ASP被用作可扩展的计算引擎,用于处理复杂、非规则搜索空间上的搜索,实验结果表明,这是解决优化问题的可行方法,并证明了各种求解器的可扩展性。 主页: https://link.springer.com/chapter/10.1007%2F11799573_21 相关软件: Lparse(L解析);斯莫德尔斯;扣环;C模型;辐条;格林戈;LAIMA公司;德纳利;芦笋;亚萨特 引用于: 3文件 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 TOAST:将答案集编程应用于超优化。 Zbl 1131.68367号布莱恩,马丁;克里克,汤姆;玛丽娜·德沃斯;约翰·惠誉 2006 全部的 前5名8位作者引用 2 布莱恩,马丁 2 玛丽娜·德沃斯 2 约翰·惠誉 1 阿诺普·巴贾纳什 1 乔治·博恩 1 克里克,汤姆 1 马克·达勒姆 1 克劳斯·施耐德 连载1篇 1 逻辑程序设计理论与实践 在2个字段中引用 三 计算机科学(68至XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的引文