Research map / Learning theory and algorithms / Prediction and decision losses
Zero-Suppressed Sentential Decision Diagrams
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use ZSDD instead of SDD on the example function | ZSDD · Fig. 1 example | size: 16 -> 8 | Helped |
| Use ZSDD or ZSDD with implicit partitioning instead of SDD or right-linear ZSDD (ZDD) | ZSDD, Z+I(C) · LGSynth89 | size | Helped |
| Add implicit partitioning to compressed trimmed ZSDD (ablation) | ZSDD · LGSynth89 | size | Helped |
| Replace vtree with a right-linear vtree (linear order) for Z+I(C) (ablation) | Z+I(C) · LGSynth89 | size | Hurt |
| Represent literal x1 with ZSDD instead of SDD | ZSDD · theory | size | Hurt |
Closest papers by meaning
- Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms (ICML 2025 · similarity 0.88)
- An And-Sum Circuit with Signed Edges That Is More Succinct than SDD (AAAI 2025 · similarity 0.86)
- Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs (AAAI 2025 · similarity 0.85)
- Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization (AAAI 2024 · similarity 0.84)
- On the Modelling of Constraints with Tractable Logical Operators (AAAI 2025 · similarity 0.83)
- A Compiler for Weak Decomposable Negation Normal Form (AAAI 2024 · similarity 0.83)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.