The following pages link to (Q4692286):
Displayed 8 items.
- Decomposition representations of logical equations in problems of inversion of discrete functions (Q404200) (← links)
- Upper bounds for the formula size of symmetric Boolean functions (Q465106) (← links)
- Reviewing bounds on the circuit size of the hardest functions (Q1041784) (← links)
- Models of lower-bounds proofs (Q1107322) (← links)
- Algorithms of compacting the knowledge base by sample data (Q1355326) (← links)
- Estimating the efficiency of threshold representations of Boolean functions (Q4005316) (← links)
- Transition Function Complexity of Finite Automata (Q5200100) (← links)
- On circuits of functional elements of finite depth of branching (Q5424087) (← links)