The following pages link to (Q3566747):
Displayed 9 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Preprocessing for DQBF (Q3453223) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)