Pages that link to "Item:Q5175989"
From MaRDI portal
The following pages link to Regular resolution lower bounds for the weak pigeonhole principle (Q5175989):
Displaying 7 items.
- The NP-hardness of finding a directed acyclic graph for regular resolution (Q924157) (← links)
- Resolution lower bounds for the weak functional pigeonhole principle. (Q1401365) (← links)
- Lower bounds for the weak pigeonhole principle and random formulas beyond resolution (Q1854546) (← links)
- Resolution lower bounds for perfect matching principles (Q1881260) (← links)
- Mutilated chessboard problem is exponentially hard for resolution (Q1884991) (← links)
- Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space (Q2817796) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)
