Pages that link to "Item:Q2408195"
From MaRDI portal
The following pages link to Strong ETH and resolution via games and the multiplicity of strategies (Q2408195):
Displaying 5 items.
- Large clique is hard on average for resolution (Q2117104) (← links)
- (Q5028438) (← links)
- Super strong ETH is true for PPSZ with small resolution width (Q5092450) (← links)
- Strong ETH and Resolution via Games and the Multiplicity of Strategies. (Q5363779) (← links)
- Strong ETH holds for regular resolution (Q5495819) (← links)