Title:
サンプリングベースの順序付き二分決定グラフの変数順序決定方法
Document Type and Number:
Japanese Patent JP4334061
Kind Code:
B2
Abstract:
A system and method for determining variable orders for decision diagrams. The variable orders are determined by sampling subspaces of a Boolean space representing a function or circuit. The subspaces are formed in a variety of ways, including through the use of abstraction, decomposition, partial assignments, and circuit subspaces.
Inventors:
Java Hare Jane
Yuan Ru
Yuan Ru
Application Number:
JP15429199A
Publication Date:
September 16, 2009
Filing Date:
June 01, 1999
Export Citation:
Assignee:
富士通株式会社
International Classes:
G06F17/50
Domestic Patent References:
| JP9006821A | ||||
| JP11219378A |
Attorney, Agent or Firm:
Tadahiko Ito