A reduction of proof complexity to computational complexity for AC 0 [p] Frege systems

• Autores: Jan Krajícek
• Localización: Proceedings of the American Mathematical Society, ISSN 0002-9939, Vol. 143, Nº 11, 2015, págs. 4951-4965
• Idioma: inglés
• DOI: 10.1090/s0002-9939-2015-12610-x
• Texto completo no disponible (Saber más ...)