Pages that link to "Item:Q1428568"

The following pages link to BDDs -- design, analysis, complexity, and applications. (Q1428568):

Displaying 27 items.

• On the computational power of linearly transformed BDDs (Q294813) (← links)
• Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations (Q313770) (← links)
• Knowledge compilation meets database theory: compiling queries to decision diagrams (Q359877) (← links)
• Counterexamples to the long-standing conjecture on the complexity of BDD binary operations (Q456068) (← links)
• Compact representations of all members of an independence system (Q513340) (← links)
• Graph driven BDDs -- a new data structure for Boolean functions (Q673788) (← links)
• On the computational power of binary decision diagram with redundant variables. (Q960508) (← links)
• Hiding propositional constants in BDDs. (Q960509) (← links)
• On the OBDD size for graphs of bounded tree- and clique-width (Q1011721) (← links)
• A rewriting approach to binary decision diagrams (Q1349250) (← links)
• Infinitary relations and their representation. (Q1398672) (← links)
• Binary decision diagrams for first-order predicate logic. (Q1426055) (← links)
• Binary decision diagrams in theory and practice (Q1606800) (← links)
• Better upper bounds on the QOBDD size of integer multiplication (Q2370421) (← links)
• Symbolic graphs: Linear solutions to connectivity related problems (Q2471809) (← links)
• Factorization using binary decision diagrams (Q2632840) (← links)
• New aspects in optimization of BDDs: mixed techniques based on polulations of solutions and lower bound (Q2922720) (← links)
• An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
• An nlogn Algorithm for Online BDD Refinement (Q4264491) (← links)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Q4617985) (← links)
• (Q4860656) (← links)
• Automated Deduction with Shannon Graphs (Q4868260) (← links)
• Implementation and Application of Automata (Q5463994) (← links)
• Correct Hardware Design and Verification Methods (Q5897079) (← links)
• Chain reduction for binary and zero-suppressed decision diagrams (Q5919001) (← links)
• Bddl: A Type System for Binary Decision Diagrams (Q6487291) (← links)
• Computational complexity of minimal trap spaces in Boolean networks (Q6633132) (← links)