Pages that link to "Item:Q2288334"
From MaRDI portal
The following pages link to Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334):
Displaying 5 items.
- On fixed-polynomial size circuit lower bounds for uniform polynomials in the sense of Valiant (Q2514144) (← links)
- On the power of deterministic reductions to C=P (Q4032933) (← links)
- (Q4218113) (← links)
- On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy (Q4651502) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)