2026-07-20T05:59:12Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16652 2024-03-06T10:57:58Z ddc:004 open_access

Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms Fargier, Hélène Mengin, Jérôme Schmidt, Nicolas Knowledge representation knowledge compilation ordered multivalued decision diagram 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hélène Fargier and Jérôme Mengin and Nicolas Schmidt 2022 Is Part Of LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CP.2022.23 urn:nbn:de:0030-drops-166521 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.23 eng https://creativecommons.org/licenses/by/4.0/legalcode