Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

Research output: Working paper › Research

Standard

Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. / Ben-Sasson, Eli; Nordström, Jakob.

2010.

Research output: Working paper › Research

Harvard

Ben-Sasson, E & Nordström, J 2010 'Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions'.

APA

Ben-Sasson, E., & Nordström, J. (2010). Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions.

Vancouver

Ben-Sasson E, Nordström J. Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. 2010 Aug 1.

Author

Ben-Sasson, Eli ; Nordström, Jakob. / Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. 2010.

Bibtex

@techreport{0cf7b873fb10440181df8dc7981cee52,
title = "Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions",
author = "Eli Ben-Sasson and Jakob Nordstr{\"o}m",
year = "2010",
month = aug,
day = "1",
language = "English",
type = "WorkingPaper",

}

RIS

TY - UNPB

T1 - Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

AU - Ben-Sasson, Eli

AU - Nordström, Jakob

PY - 2010/8/1

Y1 - 2010/8/1

M3 - Working paper

BT - Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

ER -

ID: 251872082