Pages that link to "Item:Q2843322"
From MaRDI portal
The following pages link to Computing Resolution-Path Dependencies in Linear Time , (Q2843322):
Displaying 10 items.
- Quantifier reordering for QBF (Q287386) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126) (← links)
- Preprocessing for DQBF (Q3453223) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)