Resolution over Linear Equations and Multilinear Proofs

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

134 Downloads (Pure)

Original language	English
Pages (from-to)	194-224
Number of pages	31
Journal	Annals of Pure and Applied Logic
Volume	155
Issue number	3
DOIs	https://doi.org/dx.doi.org/10.1016/j.apal.2008.04.001
Publication status	Published - 2008

Keywords

@article{f15144f5537748aea9d45ccb1d8d44c4,

title = "Resolution over Linear Equations and Multilinear Proofs",

keywords = "complexity theory, RESOLUTION, proof complexity, Satisfiability, algebraic complexity",

author = "Ran Raz and Iddo Tzameret",

year = "2008",

doi = "dx.doi.org/10.1016/j.apal.2008.04.001",

language = "English",

volume = "155",

pages = "194--224",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Resolution over Linear Equations and Multilinear Proofs

AU - Raz, Ran

AU - Tzameret, Iddo

PY - 2008

Y1 - 2008

KW - complexity theory

KW - RESOLUTION

KW - proof complexity

KW - Satisfiability

KW - algebraic complexity

U2 - dx.doi.org/10.1016/j.apal.2008.04.001

DO - dx.doi.org/10.1016/j.apal.2008.04.001

M3 - Article

SN - 0168-0072

VL - 155

SP - 194

EP - 224

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 3

ER -