Feedback on the Current Page
Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{WEB:Github/decdnnfrs,
title = {{crillab/decdnnf\underliners}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
note = {Software, ANR-25-CE23-3078, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d5dc02d5fb7bd1577f971cfbed97343a8c28d640;origin=https://github.com/crillab/decdnnf_rs;visit=swh:1:snp:df4c7ab62c5cc1415c8fa6401ab3a8aa0ea040db;anchor=swh:1:rev:01d783870e6001796ffbc3a3f034f2e9d0f00878}{\texttt{swh:1:dir:d5dc02d5fb7bd1577f971cfbed97343a8c28d640}} (visited on 2026-07-16)},
url = {https://github.com/crillab/decdnnf_rs},
doi = {10.4230/artifacts.26963},
}
Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs_c (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{WEB:Github/decdnnfrs-c,
title = {{crillab/decdnnf\underliners\underlinec}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
note = {Software, ANR-25-CE23-3078, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:750b93383acb0bcd09b90555d1b8bb74be461490;origin=https://github.com/crillab/decdnnf_rs_c;visit=swh:1:snp:79b98f86fa5e9e358dee9c1b0096b6365e0391e2;anchor=swh:1:rev:fdcb8c8c83c3c750405099a0f855b915065239a8}{\texttt{swh:1:dir:750b93383acb0bcd09b90555d1b8bb74be461490}} (visited on 2026-07-16)},
url = {https://github.com/crillab/decdnnf_rs_c},
doi = {10.4230/artifacts.26964},
}
Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs_py (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{WEB:Github/decdnnfrs-py,
title = {{crillab/decdnnf\underliners\underlinepy}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
note = {Software, ANR-25-CE23-3078, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:015aacaf99f75a4da476777e45ef5ef924b89171;origin=https://github.com/crillab/decdnnf_rs_py;visit=swh:1:snp:e0eabbe4e94f321dc8ee4e97c01f5d4b16f496a1;anchor=swh:1:rev:7cefbb3e47ebe656e15c79b17531022bc5bb325e}{\texttt{swh:1:dir:015aacaf99f75a4da476777e45ef5ef924b89171}} (visited on 2026-07-16)},
url = {https://github.com/crillab/decdnnf_rs_py},
doi = {10.4230/artifacts.26965},
}
Published in: LIPIcs, Volume 377, 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)
Jean-Marie Lagniez and Emmanuel Lonca. decdnnf_rs: A Framework for Querying d-DNNF (Tool Paper). In 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 377, pp. 38:1-38:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lagniez_et_al:LIPIcs.SAT.2026.38,
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
title = {{decdnnf\underliners: A Framework for Querying d-DNNF}},
booktitle = {29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)},
pages = {38:1--38:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-431-4},
ISSN = {1868-8969},
year = {2026},
volume = {377},
editor = {Ignatiev, Alexey and Szeider, Stefan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.38},
URN = {urn:nbn:de:0030-drops-263442},
doi = {10.4230/LIPIcs.SAT.2026.38},
annote = {Keywords: Knowledge compilation, d-DNNF, Model counting, Model enumeration, Uniform sampling}
}