Decomposable negation normal form
From MaRDI portal
Recommendations
- Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation
- Normal Forms for Knowledge Compilation
- On compiling CNFs into structured deterministic DNNFs
- On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
- scientific article; zbMATH DE number 1946853
Cited in
(72)- Weighted positive binary decision diagrams for exact probabilistic inference
- A deterministic algorithm for testing the equivalence of read-once branching programs with small discrepancy
- On the relation between structured \(d\)-DNNFs and SDDs
- Boolean functional synthesis: hardness and practical algorithms
- Propagation complete encodings of smooth DNNF theories
- The possibilistic Horn non-clausal knowledge bases
- Characterizing Tseitin-formulas with short regular resolution refutations
- Memory-limited model-based diagnosis
- Sufficient and necessary conditions for solution finding in valuation-based systems
- Definability for model counting
- On the relative succinctness of sentential decision diagrams
- Complexity issues related to propagation completeness
- Inference using compiled min-based possibilistic causal networks in the presence of interventions
- On preprocessing techniques and their impact on propositional model counting
- On propositional definability
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- How many diagnoses do we need?
- First order LUB approximations: characterization and algorithms
- scientific article; zbMATH DE number 1696816 (Why is no real title available?)
- Possibilistic local structure for compiling min-based networks
- Parameterized compilation lower bounds for restricted CNF-formulas
- New canonical representations by augmenting OBDDs with conjunctive decomposition
- Top-down algorithms for constructing structured DNNF: theoretical and practical implications
- Compiling min-based possibilistic causal networks: a mutilated-based approach
- On the read-once property of branching programs and CNFs of bounded treewidth
- \(\#{\exists}\mathrm{SAT}\): projected model counting
- On compiling CNFs into structured deterministic DNNFs
- Logical Compilation of Bayesian Networks with Discrete Variables
- On the role of modeling causal independence for system model compilation with OBDDs
- The language of search
- On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
- Fixed parameter tractable optimization under DNNF constraints
- Disjunctive closures for knowledge compilation
- Quantifier elimination by dependency sequents
- A generic framework for a compilation-based inference in probabilistic and possibilistic networks
- On quantifying literals in Boolean logic and its applications to explainable AI
- Tractable QBF by knowledge compilation
- Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation
- Model-based diagnosis with probabilistic models
- Implementing efficient All solutions SAT solvers
- Symmetry-driven decision diagrams for knowledge compilation
- Negation-Limited Formulas.
- Duality in Knowledge Compilation Techniques
- Normal Forms for Knowledge Compilation
- Characterizing Tseitin-Formulas with Short Regular Resolution Refutations
- Recursive conditioning
- Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth
- A first polynomial non-clausal class in many-valued logic
- On computing probabilistic abductive explanations
- On the (complete) reasons behind decisions
- Boolean functional synthesis: from under the hood of solvers
- On the role of logical separability in knowledge compilation
- An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL
- Counterexample guided knowledge compilation for Boolean functional synthesis
- The ghosts of forgotten things: a study on size after forgetting
- Knowledge compilation. Preface.
- On the benefits of knowledge compilation for feature-model analyses
- Tractable representations for Boolean functional synthesis
- The splitting power of branching programs of bounded repetition and CNFs of bounded width
- Feature necessity and relevancy in machine learning explanations
- Approximating queries on probabilistic graphs
- Entailment vs. verification for partial-assignment satisfiability and enumeration
- Conjunctive queries on probabilistic graphs: the limits of approximability
- A characterization of efficiently compilable constraint languages
- Circuits, proofs and propositional model counting
- Structure-guided automated reasoning
- On limitations of structured (deterministic) DNNFs
- Connecting knowledge compilation classes and width parameters
- Compiling propositional weighted bases
- Some computational aspects of DISTANCE SAT
- Efficient query processing with reduced implicate tries
- A new default theories compilation for MSP-entailment
This page was built for publication: Decomposable negation normal form
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5441353)
