Pages that link to "Item:Q716324"
From MaRDI portal
The following pages link to Mean-payoff games and propositional proofs (Q716324):
Displayed 4 items.
- Tropically convex constraint satisfaction (Q1635805) (← links)
- The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
- Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (Q3012837) (← links)
- Parity Games and Propositional Proofs (Q5169973) (← links)