可能性知识编译论文

自动推理和智能规划中若干问题研究
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...