Abstract Argumentation; Fixed-Parameter Tractability; Dynamic Programming on Tree Decompositions;
机译:使用动态编程对树结构分子的立体异构体进行有效枚举
机译:加快具有代表性集的动态规划:基于树分解的Steiner树算法的实验评估
机译:高效动态规划和传输矩阵枚举算法的设计
机译:通过动态编程在树分解上有效地枚举半稳定扩展
机译:Benders分解:具有进一步计算增强功能的整数编程扩展
机译:枚举可分解图形的结树
机译:使用动态编程对树结构分子的立体异构体进行有效枚举