Circuit lower bounds in bounded arithmetics
scientific article; zbMATH DE number 6361697
scientific article