Pages that link to "Item:Q2944908"
From MaRDI portal
The following pages link to Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908):
Displayed 11 items.
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Random resolution refutations (Q2311546) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Uniform proofs of ACC representations (Q2402964) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) (← links)
- Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)