conftrace_

sentential decision diagram

6 papers

Explore in graph

Also known as

SDD

Co-occurring keywords · papers mentioning both

circuit representation (2) arithmetic circuit (2) boolean function (2) probabilistic model (2) knowledge compilation (2) structured d-dnnf (1) probabilistic sentential decision diagram (1) route distribution (1) succinctness analysis (1) prime implicant (1)

Papers

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 On the Computation of Necessary and Sufficient Explanations AAAI 2022 Tractable Explanations for d-DNNF Classifiers AAAI 2022 Tractability in Structured Probability Spaces NeurIPS 2017 Tractable Learning for Complex Probability Queries NeurIPS 2015