搜索结果: 1-1 共查到“机器人控制 SAT”相关记录1条 . 查询时间(0.051 秒)
规划问题编码成SAT问题研究
智能规划 规划图 可满足（SAT）问题
2009/7/22
智能规划问题是一个NP-hard的问题。近年来，由于在可满足问题（SAT）研究领域取得了较大进展，出现了一大批快速的能达到工业级应用的SAT solver求解器的出现，这使得运用可满足技术来求解规划问题的方法越来越得到智能规划研究者们的重视。用可满足技术求解规划问题的首要任务是必须将规划问题“翻译”成可满足问题。讨论了如何将规划问题编码成命题可满足问题的一般技术，并对“直接编码”和“基于规划图的编...