Circuit lower bounds in bounded arithmetics

Ján Pich. Circuit lower bounds in bounded arithmetics. Annals of Pure and Applied Logic, 166(1):29-45, 2015. [doi]

Abstract

Abstract is missing.