The following pages link to (Q3304106):
Displaying 8 items.
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Short proofs in QBF expansion (Q2181919) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- Lower bounds: from circuits to QBF proof systems (Q2800571) (← links)
- Déjà Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions (Q2953792) (← links)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
- Size, cost and capacity: a semantic technique for hard random QBFs (Q4993272) (← links)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)