On the computational complexity of finding hard tautologies

• Autores: Jan Krajícek
• Localización: Bulletin of the London Mathematical Society, ISSN 0024-6093, Vol. 46, Nº 1, 2014, págs. 111-125
• Idioma: inglés
• Texto completo no disponible (Saber más ...)