自动推理与智能规划_殷明浩，周俊萍，袁利永著_9787206099373_北京普习文化传播有限公司

关于我们

新书资讯

·九九重阳，敬老情长

·二十四节气｜寒露

·二十四节气｜秋分

·二十四节气｜白露

·二十四节气｜立秋

·二十四节气｜小暑

·建党105周年——不忘初心砥砺前

·父亲节 | 山河不语父爱如山：祝

新书推荐

·牧场的四季

·虹泰之路

·物候经济

·背井离乡

·时髦的身体

·帝国的倩影

·他为真理而活着

·远征

自动推理与智能规划

自动推理与智能规划

定　　价：35 元

作者：殷明浩，周俊萍，袁利永著
出版时间：2013/1/1
ISBN：9787206099373
出版社：吉林人民出版社

中图法分类：TP181
页码：243页
纸张：
版次：1
开本：26cm
商品库位：

9

7

0

8

9

7

9

2

3

0

7

6

3

内容简介

本书介绍了计算复杂性理论简介、SAT问题基础与基本算法、SAT问题的隐藏结构、SAT问题算法分析、SAT相变、智能规划问题与基本方法、智能规划启发函数的修正、基于相关分析的剪枝策略等内容。

你还可能感兴趣

我要评论