Pages that link to "Item:Q2500481"

The following pages link to Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies (Q2500481):

Displaying 3 items.

• Planar and grid graph reachability problems (Q733742) (← links)
• 2-D Tucker is PPA complete (Q2009648) (← links)
• Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space (Q2817796) (← links)