The following pages link to (Q3566747):
Displaying 13 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- A satisfiability procedure for quantified Boolean formulae (Q1408385) (← 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)
- A mechanism of uncovering of quantifiers in Boolean variables (Q2457456) (← 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)
- Theory and Applications of Satisfiability Testing (Q5325879) (← links)
- Theory and Applications of Satisfiability Testing (Q5713729) (← links)