Method and apparatus for optimizing real functions in Boolean domain
US6389576B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 2, 1999 |
| Grant date | May 14, 2002 |
| Priority date | — |
| Expiry date | Sep 2, 2019 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/30
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The invention is a method and apparatus for optimizing a real function in the Boolean domain. In accordance with an embodiment of the method, the real function is represented as a Boolean function. A binary decision diagram for the Boolean function is generated, the binary decision diagram having a root and at least one variable node. The number of vertices for at least one variable node of the binary decision diagram is determined. The function is optimized by selecting a path or paths from the root to at least one variable node of the binary decision diagram having the least number of vertices. The solution values of one or more variables of the Boolean function are determined in accordance with the path(s) through the binary decision diagram. These values comprise an optimized solution set for the real function.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.