內  容  簡  介
    有序二叉決策圖是布耳函數的一種規範表達形式、一種新型資料結構。
基於OBDD可以完成布耳函數的有效表述和操作運算，OBDD在VI．SI邏
輯綜合和驗證方面的成功應用引起了學術界和工業應用界的極大關注。本
書對OBDD相關技術問題、OBDD擴展形式、OBDD應用等方面進行r介紹
和討論，主要內容包括布林運算式及其描述、有序二叉決策圖、零壓縮二叉
決策圖、代數決策圖、邊值二叉決策圖、二叉矩量圖、時間變數決策圖、應用
專題等。
    本書可供高等院校電腦、電子工程、自動化等專業的高年級本科生、
研究生以及相關領域的科研和工程技術人員參考。

退換貨說明：

會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。

辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。