The following pages link to (Q5136303):
Displaying 9 items.
- Proof complexity of modal resolution (Q832717) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- How QBF expansion makes strategy extraction hard (Q2096438) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- A simple proof of QBF hardness (Q2656352) (← links)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
