頁籤選單縮合
題 名 | ROBDD Variable Ordering for PLA-Based Boolean Functions=對於可程式邏輯函數在約減式排序二元決策圖的變數排序研究 |
---|---|
作 者 | 蘇烱園; 蕭培墉; | 書刊名 | Proceedings of the National Science Council : Part A, Physical Science and Engineering |
卷 期 | 19:6 1995.11[民84.11] |
頁 次 | 頁574--581 |
分類號 | 448.595 |
關鍵詞 | 可程式邏輯函數; 約減式排序二元決策圖; ROBDD; DFS; Dynamic weight assignment; Look-ahead weight assignment; |
語 文 | 英文(English) |