Reduced error pruning of branching programs cannot be approximated to within a logarithmic factor

From MaRDI portal