License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CP.2022.23
URN: urn:nbn:de:0030-drops-166521
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16652/
Go to the corresponding LIPIcs Volume Portal

Fargier, Hélène ; Mengin, Jérôme ; Schmidt, Nicolas

Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms

pdf-format:
LIPIcs-CP-2022-23.pdf (0.8 MB)

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 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.

BibTeX - Entry

@InProceedings{fargier_et_al:LIPIcs.CP.2022.23,
  author =	{Fargier, H\'{e}l\`{e}ne and Mengin, J\'{e}r\^{o}me and Schmidt, Nicolas},
  title =	{{Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms}},
  booktitle =	{28th International Conference on Principles and Practice of Constraint Programming (CP 2022)},
  pages =	{23:1--23:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-240-2},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{235},
  editor =	{Solnon, Christine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/16652},
  URN =		{urn:nbn:de:0030-drops-166521},
  doi =		{10.4230/LIPIcs.CP.2022.23},
  annote =	{Keywords: Knowledge representation, knowledge compilation, ordered multivalued decision diagram}
}

Keywords: Knowledge representation, knowledge compilation, ordered multivalued decision diagram
Collection: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Issue Date: 2022
Date of publication: 23.07.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI