×

zbMATH — the first resource for mathematics

Pseudorandom generators in propositional proof complexity. (English) Zbl 1096.03070

MSC:
03F20 Complexity of proofs
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX XML Cite
Full Text: DOI