5 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
András Z. Salamon, Michael Wehar
We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) i…