The following pages link to Fast DQBF Refutation (Q3192073):
Displaying 11 items.
- Building strategies into QBF proofs (Q2031411) (← 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)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Incremental Determinization (Q2818028) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Preprocessing for DQBF (Q3453223) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)