circuit_lower_bound (314B)
1 # Circuit lower bound 2 3 best known bound on an explicit function: [find2015better], (3+1/86)n - o(n) lower bound on the size of [boolean_circuit] for a [boolean_function] 4 5 - [SDNNF_lower_bounds] 6 - [DNNF_lower_bounds] 7 - [dSDNNF_lower_bounds] 8 - [dDNNF_lower_bounds] 9 10 Up: [circuit_size] 11 12 Aliases: circuit lower bounds