The following pages link to A simple proof of QBF hardness (Q2656352):
Displaying 7 items.
- QBF as an alternative to Courcelle's theorem (Q1656581) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Short proofs in QBF expansion (Q2181919) (← links)
- Are Short Proofs Narrow? QBF Resolution is not Simple. (Q4601867) (← links)
- Are Short Proofs Narrow? QBF Resolution Is <i>Not</i> So Simple (Q4608723) (← links)
- (Q5136303) (← links)
- Classes of hard formulas for QBF resolution (Q6488807) (← links)