Publication:5465359

zbMath1084.03044MaRDI QIDQ5465359

Stephen A. Cook

Publication date: 22 August 2005

zbMATH Keywords

complexity class; quantified propositional system

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

03F20: Complexity of proofs