Non-automatizability of bounded-depth Frege proofs
type: Item
instance of: scholarly article
title: Non-automatizability of bounded-depth Frege proofs
zbMATH Open document ID: 1058.03063
author: Maria Luisa Bonet
author: Carlos Domingo
author: Ricard Gavaldà
author: Alexis Maciel
author: Toniann Pitassi
published in: Computational Complexity
publication date: 2005-02-23T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 2138076
zbMATH Keywords: Proof complexity
zbMATH Keywords: Frege proof systems
zbMATH Keywords: interpolation
zbMATH Keywords: automatizability of proof systems
MaRDI profile type: Publication
full work available at URL: s00037-004-0183-5
OpenAlex ID: W3014805183
Wikidata QID: Q60512205
DOI: 10.1007/S00037-004-0183-5
description: scientific article; zbMATH DE number 2138076