| ||||
| ||||
![]() Title:Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms Conference:CP2022 Tags:Knowledge compilation, Knowledge Representation and Ordered Multivalued Decision Diagram Abstract: 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 satellites 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. Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms ![]() Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms | ||||
Copyright © 2002 – 2025 EasyChair |