1 Search Results for "Mengin, Jérôme"

Document

DOI: 10.4230/LIPIcs.CP.2022.23

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

Authors: Hélène Fargier, Jérôme Mengin, and Nicolas Schmidt

Published in: LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)

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.

Cite as

Hélène Fargier, Jérôme Mengin, and Nicolas Schmidt. Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms. In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, pp. 23:1-23:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@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/entities/document/10.4230/LIPIcs.CP.2022.23},
  URN =		{urn:nbn:de:0030-drops-166521},
  doi =		{10.4230/LIPIcs.CP.2022.23},
  annote =	{Keywords: Knowledge representation, knowledge compilation, ordered multivalued decision diagram}
}

Refine by Author
1 Fargier, Hélène
1 Mengin, Jérôme
1 Schmidt, Nicolas

Refine by Classification
1 Theory of computation → Constraint and logic programming
1 Theory of computation → Design and analysis of algorithms

Refine by Keyword
1 Knowledge representation
1 knowledge compilation
1 ordered multivalued decision diagram

Refine by Type
1 document

Refine by Publication Year
1 2022