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.
@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} }
Feedback for Dagstuhl Publishing