scientific article; zbMATH DE number 7297847

zbMath1453.03064MaRDI QIDQ5144645

Iddo Tzameret, Stephen A. Cook

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330034

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) First-order arithmetic and fragments (03F30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (1)

Characterizing Propositional Proofs as Noncommutative Formulas

This page was built for publication: