...
机译:紫罗兰:一种基于SAT的分层规划方法
机译:基于SAT的规划方法,用于查找加密协议的逻辑攻击
机译:基于SAT的成本敏感型临时表达计划
机译:时间分层调度在线问题中集成了计划和调度的分层方法的最坏情况分析
机译:在HTN规划中寻找最佳解决方案 - 一种基于SAT的方法
机译:在不确定的连续域中进行分层计划,计划执行和在线学习的集成方法。
机译:人类生态学生态足迹(EF)和分析层次过程(AHP)的综合方法:规划可持续性的基础
机译:基于saT的成本敏感时间表达式规划方法