The following pages link to (Q4375784):
Displayed 6 items.
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Typical forcings, NP search problems and an extension of a theorem of Riis (Q2659102) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
- Adventures in monotone complexity and TFNP (Q5090415) (← links)
- (Q5092469) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)