Pages that link to "Item:Q2736584"
From MaRDI portal
The following pages link to Tautologies from Pseudo-Random Generators (Q2736584):
Displaying 4 items.
- On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography (Q693058) (← links)
- Substitutions into propositional tautologies (Q845921) (← links)
- Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds (Q5311724) (← links)
- ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS (Q6204144) (← links)
