The following pages link to Almost-natural proofs (Q716305):
Displaying 8 items.
- On the complexity of nonuniform wavelength-based machine (Q256966) (← links)
- Binary pattern tile set synthesis is NP-hard (Q527409) (← links)
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- Natural proofs versus derandomization (Q2805512) (← links)
- (Q4612482) (← links)
- Implicit proofs (Q5311729) (← links)
- Natural proofs (Q5890841) (← links)
- Natural proofs (Q5906823) (← links)