Figure 1 : Dynamics of BDD growth for (a) the Renault Megane configuration benchmark and (b) Langford(l 1, 2) problem ... The decision diagram can be orders of magnitude bigger at an intermediate point than at the end. ... For example, they might describe a single component of the product, e.g., the engine of the car.
|Title||:||Advance Papers of the ... International Joint Conference on Artificial Intelligence|
|Author||:||John Mylopoulos, Ray Reiter|
|Publisher||:||Joint Conferences - 1991|