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

关于我们

新书资讯

·二十四节气｜立秋

·二十四节气｜小暑

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

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

·二十四节气｜芒种

·六一快乐，书香相伴度童年

·二十四节气｜小满

·母亲节 | 时光不语母爱无言：祝

新书推荐

·时间的力量

·内心知道答案

·敦煌传

·安睡密码

·荣格心理学

·Python数据可视化开发实战

·历史的裂痕与文学的回应

·何处寻春

自动推理与智能规划

自动推理与智能规划

定　　价：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相变、智能规划问题与基本方法、智能规划启发函数的修正、基于相关分析的剪枝策略等内容。

你还可能感兴趣

我要评论