兼容性约束论文

基于知识编译的QBF求解器的研究
论文摘要智能规划是人工智能研究领域的一个重要分支,已在许多领域得以广泛应用。求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。动作和世界状态确定的规划问题可...