Pages that link to "Item:Q1606803"
From MaRDI portal
The following pages link to Zero-suppressed BDDs and their applications (Q1606803):
Displaying 11 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)
- Extending greedy feature selection algorithms to multiple solutions (Q2036770) (← 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)
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)