CRIL Universite d'Artois, rue de l'universite -SP16, 62307 Lens Cedex, France;
机译:基于局部最小树搜索的推理方法解决重载条件下的配电系统事件
机译:使用回溯搜索解决#SAT和贝叶斯推理
机译:搜索推理框架:针对新手临床问题解决的建议策略。
机译:解决更简单的规划问题,并且没有搜索
机译:改进的网络单纯形法解决了掩护网络的规划和管理问题。
机译:解决健康问题方案中的在线信息搜索性能和搜索策略
机译:通过更多的推理无需搜索即可解决简单的计划问题
机译:求解零一混合整数规划的单纯形搜索算法