【高级ＢＤＤ最优化】 最优化方法

　　Rüdiger Ebendt, Gorschwin Fey, 　　Rolf Drechsler, University of Bremen, 　　Germany
　　Advanced BDD Optimization
　　2005, 222pp.
　　Hardcover $ 130.66
　　ISBN 0-387-25453-6
　　
　　近20年来，超大规模集成（VLSI）电路和系统的计算机辅助设计（CAD）的方法和工具有了很大发展，这是科学与工业合作的重要成果，它得益于简化有序二元设计图解（BDD）的应用及Boole可满足性（SAT）的概念，并且反过来推动了后者的发展。本书较全面系统地论述了BDD最优化，给出有关概念、基本理论和方法，包括现行的各种算法、应用实例、发展趋势，讨论了它与VLSI CAD的其他一些活跃领域的关系。本书在理论与实用之间架设了桥梁，弥合了两者间的空隙。
　　全书由7章组成，除首末两章（引言和结束语），正文的第2章给出全书的预备知识（Boole函数和BDD的基本概念），第3章和第4章分别论述精确结点极小化和试探结点极小化，给出经典的和新近投入使用的算法。第5章研究道路极小化，给出一类与前两章不同的BDD最优化判据。第6章讨论BDD与SAT间的关系，作为一个典型例子，研究了形式等价性检验。
　　本书可供有关工程技术人员阅读，也可供应用数学科研人员参考。
　　朱尧辰，研究员
　　(中国科学院应用数学研究所)
　　
　　Zhu Yaochen, Professor
　　(Institute of Applied Mathematics,the Chinese Academy of Sciences)