The Strength of Multilinear Proofs

Ran Raz, Iddo Tzameret

Research output: Contribution to journal › Article › peer-review

48 Downloads (Pure)

Keywords

@article{6693b825ed13447ca26ede9d132555bb,

title = "The Strength of Multilinear Proofs",

keywords = "Multilinear Formulas , Proof complexity , algebraic complexity, Lower bounds, complexity theory",

author = "Ran Raz and Iddo Tzameret",

year = "2008",

doi = "10.1007/s00037-008-0246-0",

language = "English",

volume = "17",

journal = "Computational Complexity",

issn = "1016-3328",

publisher = "Birkhauser Verlag Basel",

number = "3",

}

TY - JOUR

T1 - The Strength of Multilinear Proofs

AU - Raz, Ran

AU - Tzameret, Iddo

PY - 2008

Y1 - 2008

KW - Multilinear Formulas

KW - Proof complexity

KW - algebraic complexity

KW - Lower bounds

KW - complexity theory

U2 - 10.1007/s00037-008-0246-0

DO - 10.1007/s00037-008-0246-0

M3 - Article

SN - 1016-3328

VL - 17

JO - Computational Complexity

JF - Computational Complexity

IS - 3

ER -