Pseudorandom generators in propositional proof complexity | IEEE Conference Publication | IEEE Xplore