Pages that link to "Item:Q1606803"
From MaRDI portal
The following pages link to Zero-suppressed BDDs and their applications (Q1606803):
Displaying 21 items.
- Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations (Q313770) (← links)
- Characteristics of the maximal independent set ZDD (Q405673) (← links)
- Constraint-based probabilistic modeling for statistical abduction (Q413868) (← links)
- Dualization of Boolean functions using ternary decision diagrams (Q513353) (← links)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Zero-suppression and computation models (Q1671009) (← links)
- Finding all solutions and instances of Numberlink and Slitherlink by ZDDs (Q1736507) (← links)
- Extracting co-occurrence relations from ZDDs (Q1736536) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- Extending greedy feature selection algorithms to multiple solutions (Q2036770) (← links)
- DenseZDD: a compact and fast index for families of sets (Q2331660) (← links)
- BDD-Based Symbolic Model Checking (Q3176366) (← links)
- P-Semiflow Computation with Decision Diagrams (Q3636844) (← links)
- Decision diagrams for solving a job scheduling problem under precedence constraints (Q5140712) (← links)
- 0/1 vertex and facet enumeration with BDDs (Q5233502) (← links)
- Chain reduction for binary and zero-suppressed decision diagrams (Q5919001) (← links)
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)
- Enumerating all subgraphs under given constraints using zero-suppressed sentential decision diagrams (Q6487604) (← links)
- Tractable representations for Boolean functional synthesis (Q6630716) (← links)
- Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs (Q6648288) (← links)
