高温气冷堆 swMATH ID: 21112 软件作者: 缺席者,迈克尔;穆斯利乌·奈斯雷特(Nysret Musliu);斯特凡·沃尔特兰 描述: Htd-一个免费的开源框架,用于(定制的)树分解及其他。图的分解在参数化复杂性领域中起着核心作用,并且是许多固定参数可处理算法的基础,这些算法用于处理一般为NP-hard的问题。树分解是这方面最突出的概念,最近有几个计算树分解的工具参加了第一届参数化算法和计算实验挑战赛。然而,在实践中,如果不考虑使用树分解的具体算法,就无法判断树分解的质量。事实上,实践经验表明,生成小宽度的分解并不是提高效率的唯一关键因素。为此,我们介绍了htd,这是一个免费的开源软件库,它包括用于树分解的几种启发式方法的有效实现,并为分解的规范化和定制提供了各种功能。本文的目的是介绍htd的细节,以及强调实施的有效性和效率的实验评估。 主页: https://github.com/mabseher/htd/tree/v1.0.0-beta1 源代码: https://github.com/mabseher/htd/tree/v1.0.0-beta1 关键词: 树分解;动态规划;软件库 相关软件: GANAK公司;克林戈;Dsharp公司;夏普SAT;安托姆郡;出售;WASP公司;Lpopt公司;开放式多媒体接口;萨特齐拉;PicoSAT公司;埃林戈;格林戈;DLV2型;扣环;PostgreSQL;糠;杰拉西尔;超小卫星;冰雹探测器 引用于: 14文件 全部的 前5名23位作者引用 7 斯特凡·沃尔特兰 6 马库斯·赫彻 三 约翰·克劳斯·费希特 三 迈克尔·莫拉克 三 帕特里克·蒂尔 2 曼纽尔·比什勒 2 保利乌斯·迪尔卡斯 1 瓦夏克·贝勒 1 维克多·贝辛 1 弗朗西斯科·卡利默里 1 安妮城堡 1 汤姆·达沃特 1 杰弗里·杜德克。 1 鲁道夫·吉卢杜 1 库斯塔·坎加斯 1 Mikko Koivisto 1 西蒙娜·佩里 1 Vu H.N.Phan。 1 萨米·萨洛宁 1 莫西·亚亚科夫·瓦尔迪 1 马蒂亚斯·韦勒 1 Jessica Zangari 1 马库斯·齐瑟 4篇连载文章中引用 4 逻辑程序设计理论与实践 2 人工智能 1 算法 1 计算机基础理论 全部的 前5名在6个字段中引用 13 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文