Space Complexity in Propositional Calculus
type: Item
instance of: scholarly article
title: Space Complexity in Propositional Calculus
zbMATH Open document ID: 1004.03047
DOI: 10.1137/S0097539700366735
author: Michael Alekhnovich
author: Eli Ben-Sasson
author: A. Wigderson
author: Alexander Razborov
published in: SIAM Journal on Computing
publication date: 2002-09-29T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03D15
zbMATH DE Number: 1808472
zbMATH Keywords: proof complexity
zbMATH Keywords: resolution
zbMATH Keywords: Frege systems
zbMATH Keywords: polynomial calculus
zbMATH Keywords: space complexity
zbMATH Keywords: upper bounds
zbMATH Keywords: lower bounds
MaRDI profile type: Publication
description: scientific article