Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Résumé
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 diagnosisoriented benchmarks.
Origine | Fichiers produits par l'(les) auteur(s) |
---|