《有序二叉决策图及应用》对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面进行了介绍和讨沦，主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算，OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。
《有序二叉决策图及应用》可供高零院校计算机、电子工程、自动化等专业的高年级本科生、研究生以及相关领域的科研和工程技术人员参考。