The following pages link to (Q4864698):
Displaying 12 items.
- Dualization of Boolean functions using ternary decision diagrams (Q513353) (← links)
- Symbolic techniques in satisfiability solving (Q862403) (← links)
- Ordered binary design graphs and their signification in computer aided design of high-integrated circuits (Q1374798) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Binary decision diagrams in theory and practice (Q1606800) (← links)
- Ordered binary decision diagrams and the Shannon effect (Q1878402) (← links)
- Formal verification based on Boolean expression diagrams (Q1954165) (← links)
- Representation of logical circuits by linear decision diagrams with extension to nanostructures (Q2487683) (← links)
- Boolean expression diagrams (Q2506489) (← links)
- Decomposition-based logic synthesis for PAL-based CPLDs (Q3587067) (← links)
- Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs (Q6093430) (← links)
- Tractable representations for Boolean functional synthesis (Q6630716) (← links)
