Pages that link to "Item:Q1680263"
From MaRDI portal
The following pages link to From DQBF to QBF by dependency elimination (Q1680263):
Displaying 10 items.
- Quantifier elimination by dependency sequents (Q479823) (← links)
- Shortening QBF proofs with dependency schemes (Q1680258) (← links)
- Skolem functions for DQBF (Q1990517) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- DQBDD: an efficient BDD-based DQBF solver (Q2118347) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL (Q2405263) (← links)
- Strong (D)QBF dependency schemes via tautology-free resolution paths (Q2661365) (← links)
- Dependency Learning for QBF (Q4968372) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)