Pages that link to "Item:Q2323446"
From MaRDI portal
The following pages link to Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446):
Displaying 6 items.
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- A resolution-style proof system for DQBF (Q1680262) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- Strong (D)QBF dependency schemes via tautology-free resolution paths (Q2661365) (← links)
- (Q5090460) (← links)