Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

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.
Fichier principal
Vignette du fichier
LIPIcs-CP-2022-23.pdf (813.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03821558 , version 1 (19-10-2022)

Licence

Identifiants

Citer

Hélène Fargier, Jérôme Mengin, Nicolas Schmidt. Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Jul 2022, Haifa, Israel. pp.23:1 - 23:18, ⟨10.4230/LIPIcs.CP.2022.23⟩. ⟨hal-03821558⟩
84 Consultations
55 Téléchargements

Altmetric

Partager

More