Calculating Valid Domains for BDD-Based Interactive Configuration
Fargier, Hélène, Mengin, Jérôme, Schmidt, Nicolas · arXiv (Cornell University) · 2007
In order to reduce the size of compiled forms in knowledge compilation, we propose a new approach based on a splitting of the main representation into a nucleus representation and satellite representations. Nucleus representation is the projection of the original representation onto the "main" variables and satellite representations define the other variables according to the nucleus. We propose a language and a method, aimed at OBDD/OMDD representations, to compile into this split form. Our experimental study shows major size reductions on configuration- and diagnosis- oriented benchmarks.