Variable shift SDD: a more succinct sentential decision diagram

DOI10.4230/LIPICS.SEA.2020.22MaRDI QIDQ6487613zbMATH OpenFDO

Authors Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.SEA.2020.22

zbMATH Keywords

Boolean functiondata structuresentential decision diagram

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• On the relative succinctness of sentential decision diagrams
• Symbolic model checking with sentential decision diagrams
• Symmetry-driven decision diagrams for knowledge compilation
• Binary decision diagrams
• On the relation between BDDs and FDDs

Cited in

(4)

• Symbolic model checking with sentential decision diagrams
• On the relative succinctness of sentential decision diagrams
• Symmetry-driven decision diagrams for knowledge compilation
• Efficient computation of shap explanation scores for neural network classifiers via knowledge compilation

This page was built for publication: Variable shift SDD: a more succinct sentential decision diagram

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487613)