ABOUT THE BOOK
内容简介
《有序二叉决策图及应用》对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面进行了介绍和讨沦,主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算,OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。 《有序二叉决策图及应用》可供高零院校计算机、电子工程、自动化等专业的高年级本科生、研究生以及相关领域的科研和工程技术人员参考。
READING NOTES
《有序二叉决策图及应用》读书笔记与读后感
相关文章正在整理中
本页已收录书籍信息与正版资源获取说明,读书笔记和读后感会持续更新。
PDF · E-BOOK · DOWNLOAD
《有序二叉决策图及应用》PDF、电子书与下载说明
本站专注于《有序二叉决策图及应用》的读书笔记和读后感,不提供未经授权的 PDF 或电子书文件下载。建议通过出版社官网、正规数字书店或所在地公共图书馆检索正版电子书;获取前请核对作者、出版社与版本信息。
- 优先选择出版社或正规阅读平台
- 通过公共图书馆查询纸书及数字馆藏
- 谨慎识别来源不明的网盘和下载链接
获取更多资讯请关注《百智汇社》公众号,回复“bk107326”获取。微信扫码关注,获取更多阅读与书籍资讯
