[PPT] - Consistency of circuit lower bounds with bounded theories Igor PowerPoint Presentation