A superpolynomial lower bound for (1,+k(n))-branching programs

From MaRDI portal
Publication:3569022