书籍简介:

本书论述了自动推理与智能规划问题的算法设计与计算复杂性分析。分别从以下三个角度进行了相关讨论：（1）给出了第一个被证明为NP完全问题的自动推理问题——可满足问题（SAT问题），并以此问题为基础研究了SAT问题的基本求解算法、隐蔽结构、算法的计算复杂性分析以及相变现象。（2）论述了#SAT问题的三种求解方法，并给出了#SAT问题在最坏情况下的最小上界。（3）研究了智能规划问题与基本方法，论述了启发式函数与剪枝策略，给出了启发式规划求解算法，设计了相应的规划器，并在此基础上研究了一致性规划问题的相变现象。

书籍规格:

书籍详细信息
书名	自动推理与智能规划站内查询相似图书
	9787206099373 如需购买下载《自动推理与智能规划》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	长春	出版单位	吉林人民出版社
版次	1版	印次	1
定价(元)	35.0	语种	简体中文
尺寸	26 × 19	装帧	平装
页数	246	印数	1000

全网搜索试读资源

书籍信息归属:

自动推理与智能规划是吉林人民出版社于2013.10出版的中图分类号为 TP181 的主题关于自动推理－研究的书籍。