scientific article; zbMATH DE number 4095440

MaRDI QIDQ3822152zbMATH OpenFDO

Authors Uwe Schöning

Publication date 1988

zbMATH Keywords

complexity coressound proof systems

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20)

Recommendations

• Complexity of hard-core set proofs
• scientific article; zbMATH DE number 403953
• Hard-core theorems for complexity classes
• scientific article; zbMATH DE number 2212138
• Proof Complexity
• scientific article; zbMATH DE number 2110622
• scientific article; zbMATH DE number 3922641
• Hard instances of algorithms and proof systems
• Hard instances of algorithms and proof systems
• scientific article; zbMATH DE number 1088223

Cited in

(1)

• Hard-core theorems for complexity classes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3822152)