The strength of multilinear proofs

From MaRDI portal

Revision as of 22:06, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1024659

Jump to:navigation, search

DOI10.1007/s00037-008-0246-0zbMath1174.03025OpenAlexW2074020517MaRDI QIDQ1024659

Ran Raz, Iddo Tzameret

Publication date: 17 June 2009

Published in: Computational Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00037-008-0246-0

zbMATH Keywords

Tseitin tautologies polynomial calculus proof complexity pigeonhole principle multilinear arithmetical formulas

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)

Related Items (4)

Characterizing Propositional Proofs as Noncommutative Formulas ⋮ Algebraic proofs over noncommutative formulas ⋮ Unnamed Item ⋮ Resolution over linear equations and multilinear proofs

This page was built for publication: The strength of multilinear proofs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1024659&oldid=13026052"