Circuit-size lower bounds and non-reducibility to sparse sets
scientific article