Pages that link to "Item:Q3587579"
From MaRDI portal
The following pages link to A Survey of Lower Bounds for Satisfiability and Related Problems (Q3587579):
Displaying 10 items.
- Amplifying circuit lower bounds against polynomial time, with applications (Q354644) (← links)
- Arithmetic circuits: the chasm at depth four gets wider (Q442109) (← links)
- Limits on alternation trading proofs for time-space lower bounds (Q496301) (← links)
- An improved time-space lower bound for tautologies (Q652633) (← links)
- Local reduction (Q1641001) (← links)
- Local Reductions (Q3448833) (← links)
- Quadratic Time-Space Lower Bounds for Computing Natural Functions with a Random Oracle (Q5090435) (← links)
- On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions (Q5098770) (← links)
- An Improved Time-Space Lower Bound for Tautologies (Q5323091) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)
