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.

L'invention est une méthode et un appareil pour optimiser une vraie fonction dans le domaine booléen. Selon une incorporation de la méthode, la vraie fonction est représentée comme fonction booléenne. Un diagramme binaire de décision pour la fonction booléenne est produit, le diagramme binaire de décision ayant une racine et au moins un noeud variable. Le nombre de sommets pour au moins un noeud variable du diagramme binaire de décision est déterminé. La fonction est optimisée en choisissant un chemin ou des chemins à partir de la racine au moins à un noeud variable du diagramme binaire de décision ayant le moindre nombre de sommets. Les valeurs de solution d'une ou plusieurs variables de la fonction booléenne sont déterminées selon le path(s) par le diagramme binaire de décision. Ces valeurs comportent une solution optimisée réglée pour la vraie fonction.