The following pages link to On Stronger Calculi for QBFs (Q2818031):
Displaying 13 items.
- Local soundness for QBF calculi (Q1656580) (← links)
- QBF as an alternative to Courcelle's theorem (Q1656581) (← links)
- \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property (Q1799077) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Strong (D)QBF dependency schemes via tautology-free resolution paths (Q2661365) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- On QBF Proofs and Preprocessing (Q2870148) (← links)
- Déjà Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions (Q2953792) (← links)
- (Q3304106) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)