48 citations · 61 across the 5 of their papers we have counts for
1 paper · 1 filter
Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider
We give a nontrivial algorithm for the satisfiability problem for cn-wire threshold circuits of depth two which is better than exhaustive search by a factor 2^{sn} where s= 1/c^{O(…